suppression du second parametre dans flambda