ajout de SmartClauseWatched, qui addapte l'optimisation SmartClause aux watched. ne semble pas améliorer le temps d'éxécution