Recuperation sur le Mac
Calcul de la revision sous semantique stable en utilisant SAT pour calculer les candidats
Reste a utiliser SAT pour construire les AF