Mise à jour mips.mli