Adaptation de BasicClauseWatched à la v2; ajout de  -Wno-unused-parameter au makefile