nouvelle gestion de l'ordre : utilisation de extract au lieu de hd, tl et update + exceptions Satisfiable
et Unsatisfiable déplacées vers le module Core