INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES (IRISA) (EN PARTENARIAT AVEC L’INRIA)