1 ressource : INRIA (INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE)