Debut de l'implementation de la revision via SAT sous semantique stable