ajout d'une petite optimisation dans la propagation, qui permet d'éviter quelques tests pour savoir si on peut déduire quelque chose d'une clause