Institut de recherche d'informatique et d'automatique.