Volumes antérieurs > Volume 63, No. 1 > Articles, p. 21 Des preuves à l'ordinateur? Christiane Rousseau, Département de mathématiques et de statistique, Université de Montréal Télécharger le PDF
