Pour moi le problème a disparu depuis hier, à la faveur de la dernière mise a jour de mon Redmi Note 5 Pro. Maintenant j'ai bien "Orange F" affiché à la place de "Coriolis".J'imagine que le problème venait d'un bug dans la ROM de Xiaomi.

A l'instant où j'écris, oui.

Bonsoir,c'est fait depuis plusieurs jours mais pas de réponse de votre part.Est-ce normal ?cdt, ecazin

 bonsoir, je l'ai fait mais au reboot suivant c'est revenu.

Pour info je suis sur une rom stable de XIAOMI, pas une bêta. Elle vient d'ailleurs d'être mise à jour aujourd'hui et le bug persiste. Bon week-end