Réutilisation de preuves formelles : une étude pour le système FoC.