Réutilisation de preuves formelles : une étude pour le système FoC. - Catherine Dubois; J. Grandguillot; Mathieu Jaume (JFLA, 2003)