D'ailleurs:
% Erreur pas d'annotation de type f a = a + 2;
% Marche correctement f : Int -> Int; f a -> a + 2;
% Ne marche pas, 'Error PEXP: Unknown argument format' (pexp.ml ln 286) f (a : Int) = a + 2;
Est-ce que l'on désire supporter le dernier cas ?