ajout de 1. Logique intuitionniste propositionnelle : approche par le calcul de séquents LJ. Tentative d'égaliser les nombres d'appels à prouvable en ajoutant les priorités avant le tri dans naif.ml