De l'action au concept — Institut de recherche sur l'enseignement des mathématiques. Rennes