Documentation update, especially about the generated Lisp files : verif-v0.el instead of verif-base.el.
Mise à jour de la documentation, notamment à propos des fichiers Lisp : verif-v0.el au lieu de verif-base.el.