modification de BasicClauseWatched pour que plus de methodes prennent en parametre SatProblem