Même traitement pour les définition f x y := et les lambdas