activer Ne pas déranger sur Xiaomi

Sur les téléphones Xiaomi, il existe un réglage de minuterie pour activer Ne pas déranger à une heure spécifique définie par l'utilisateur.