Institut de Recherche Mathématiques de Rennes