Abstract: | Quelques mathématiciens ont été observés en train de résoudre des problèmes. Leurs protocoles sont décrits et analysés dans le but d'en dégager des idées susceptibles d'améliorer l'enseignement d'une part, de faire progresser la Démonstration Automatique de Théorèmes d'autre part. |