%0 Journal Article %A Larher, Annie %T Implication statistique et applications à l'analyse de démarches de preuve mathématique %J Publications de l'Institut de recherche mathématiques de Rennes %Z talk:1 %D 1992 %P 1-1 %N 3 %I Département de Mathématiques et Informatique, Université de Rennes %U http://www.numdam.org/item/PSMIR_1992___3_A1_0/ %G fr %F PSMIR_1992___3_A1_0