Faire des .mli

Manque d'encapsulation et de contrôle sur l'abstraction sans de .mli