TY - JOUR AU - Van Dieren, Françoise TI - Écrire pour apprendre et apprendre à démontrer JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1998 SP - 123 EP - 145 IS - S4 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1998___S4_123_0/ LA - fr ID - PSMIR_1998___S4_123_0 ER -