ajoute SmartClause : variante de ConstAssignClause plus rapide que BasicWatchedClause