Une expérience menée auprès de professeurs de mathématiques sur les critères de rédaction d'une démonstration Rémi Duvert — 1998 Publications mathématiques et informatique de Rennes