commentaires dans WatchedClause.hh