petite optimisation de SmartClause