C’est officiel : les smartphones Xiaomi vont se séparer de MIUI au profit d’un tout nouveau système d’exploitation (enfin, presque).