Placer dans ce répertoire tous les nouveaux outils:
===================================================
- cmt2annot: generates a .annot file from a .cmt file
- cmt2src: generates a .ml file back from a .cmt file

Faire une analyse de code mort:
===============================

Lire tous les fichiers
