J'ai un Redmi 4A que j'ai acheté en Chine il y a quelques mois.
Il fonctionne très bien en anglais mais semble offrir uniquement le choix entre un format d'heure de 12 ou 24 heures et un format de date américain, mm/jj/aaaa.
Pour tous les anglophones qui ne sont pas américains, ce format est très confus. Tous mes autres appareils me permettent de passer au format jj/mm/aaaa. Mais jusqu'à présent, je n'ai pas trouvé de moyen de le faire sur mon téléphone.
La version Android est 6.0.1 MMB29M et la version MIUI est 8.5.4.0(MCCCNED)