Debug en cours sur revision stable via SAT