La démonstration au collège quelles tâches ? quels outils ? by Institut de recherche en informatique et systèmes aléatoires (Rennes) | Menrva Books | MenrvaBooks