IRIT – INSTITUT DE RECHERCHE EN INFORMATIQUE DE TOULOUSE