Xiaomi / Redmi : Comment supprimer les pubs et autres nuisances

Il faut aimer « offrir » ses données à la fois à Google et à Xiaomi mais c’est hors sujet…