Ajout squelette preuves résultat analytique pour une itération.