addClause changée pour les watched literals