Prise en charge Failure dans le main (por voir si c'est une erreur du compilateur, ou quelque chose de non implémenté.
Correction erreur dans typing.ml, il faut typer les qident.