correction d'un bug dans le constructeur de SmartClause