Au carrefour des mathématiques et du français, la logique — Institut de recherche sur l'enseignement des mathématiques. Rouen