Commentaires dans SmartWatchedClause.hh