Écrire pour apprendre et apprendre à démontrer Françoise Van Dieren — 1998 Publications mathématiques et informatique de Rennes