KIREMITDJIAN, Georges PMO n° 156 75-45 - (1975) Vérification interactive de démonstrations mathématiques PDF (87 p.)
