L'apprentissage de la démonstration avec l'aide du logiciel DEFI : analyse des démarches observées, rôle des messages, apprentissage théorème par théorème Bahia El Glass Publications mathématiques et informatique de Rennes