TODO

   1 Pour éviter les phases et le Ranking :
   2 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   3
   4 partir de l'état initial.
   5
   6 Exclure tous les états qui ne sont pas trivialement satisfiables.
   7
   8 Requêtes N-aires.
   9 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~:
  10
  11 Garder pour chaque variable un ensemble de candidats.
  12 et propager.