Maintenant les numéros partent de 1 pour dire quelle clause est trivialement vraie