Ajout de OneWatchedClause : watched literals (un watched par clause,propagation des clauses vraies), fonctionnel mais lent.