Typage correct des fonctions

Ou du moins, tentative