French Institute for Research in Computer Science and Automation