Récupération des types fonctionnel

Plus que gérer l'execution finale et c'est bon :3