Logique et lois de composition interne en classe de seconde — Institut de recherche sur l'enseignement des mathématiques. Groupe de recherche et d'expérimentation en informatique et enseignement. Vandoeuvre-les-Nancy, Meurthe-et-Moselle. Lunéville, Meurthe-et-Moselle