1
par la commande ocamlc -c nom.ml
2
Deux modules ne peuvent donc pas être différenciés par la casse de leur première lettre
3
il n'est pas nécessaire que les types soient égaux, il suffit qu'ils soient compatibles et que celui de l'interface ne soit pas plus général que celui de l'implantation