Le micro-ordinateur, outil de révélation et d'analyse du raisonnement déductif de l'élève R. Gras; M. D. Fontaine; A. Larher; A. Nicolas; A. Simon Publications mathématiques et informatique de Rennes