Pr'esentation de Preuves en Langue Naturelle pour le Syst`eme Coq, Rapport de DEA, Universit'e de Nice-Sophia-Antipolis (1993)

by A Massol