Calcul des extensions stables via SAT