test de la conjecture i=n (assert dans applique_regle.ml)
ajout analyseur, nettoyage main