Redaction des fonctions de verifiaction presque terminee.
(Avancement.txt indique DONE mais il reste des choses)