Gestion du n'importe quel tau dans typesimpleExpr