La logique au fil de l'eau — Institut de recherche sur l'enseignement des mathématiques. Groupe de Logique. Brest, Finistère