Pour le rendu 1 SAT