o Univers
     - définir un type d'ensemble de contraintes, et sauver cet ensemble
	pour chaque module et non pas le graphe complet

 o configure
     - il faut tester la version du programme correspondant à $bytecamlc
       qui peut être ocamlc ou ocamlc.opt, et non pas la version de "ocamlc"
       seulement

 o Environnements compilés (type Environ.compiled_env)
     - pas de timestamp mais plutôt un checksum avec Digest (mais comment ?)

 o Efficacité
     - utiliser DOPL plutôt que DOPN (sauf pour Case)
     - batch mode => pas de undo, ni de reset
     - conversion : déplier la constante la plus récente

 o Lexer
     à compléter

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