Analyser un texte de démonstration ou la formulation d'une dénition en mathématiques, est-ce faire des mathématiques ?
Origine : Fichiers éditeurs autorisés sur une archive ouverte