Mise à jour du rapport et correction d'une erreur dans typing.ml : le type renvoyé peut être un sous-type du type du prototype de la fonction.