La preuve formelle est terminée. Consolidation et rangement. ~30 minutes