Volumes antérieurs > Volume 43, No. 4 > Articles, p. 8 Ordinateur et processus de validation en mathématiques Stéphane Cyr, UQTR Télécharger le PDF