INRIA INSTITUT NATIONAL DE RECHERCHE; EN INFORMATIQUE ET EN AUTOMATIQUE,; ÉTABLISSEMENT PUBLIC NATIONAL À; CARACTÈRE SCIENTIFIQUE ET TECHNOLOGIQUE