TOUMERT Said / 2-SAT