Complements a l'interface mount.mli