Mince, mon Redmi Note 7 restera donc en Android 10, sur ROM officielle. Bon, tant que les mises à jour de sécurité sont là, je m'en fous un peu.