séparation de prouveur.ml : ajout de prouvable.ml. réorganisation de rep.ml pour préparer le calcul de preuve ou réfutation à l'aide d'indications
simulation de recherche compilée
retour à un rep.ml minimaliste mais avec la nouvelle interface (changements commentés fonctionnels imméditatement)