modification du satSolverWatched : s'addapte aux methodes de BasicClauseWatched