Correction erreur typage grâce à redef 4 : il faut différencier l'ajout de la fonction à l'environnement de l'ajout de ses arguments au bloc qui suit.