Institut de Recherche Mathématique Avancée - IRMA - UMR7501