Institut de Recherche en Informatique Fondamentale