o Himsg
     en faire un foncteur qui prend en arguments des fonctions
     sachant afficher les termes, et retournant des fonctions
     expliquant les messages d'erreur (de typage, d'inductifs, de
     convertibilité), retournant des std_ppcmds.

 o Lexer
     à compléter

 o Toplevel
     - boucle principale, affichage des erreur, du prompt
     - parsing de la ligne de commande (Arg ?)