Institut de recherche mathématique de Rennes