Sujets chauds du moment

Les meilleures fonctions cachées & raccourcis secrets de MIUI 14 à tester sur votre Xiaomi

NextPit xiaomi 13 pro review front
© nextpit

Lire dans d'autres langues :

Si vous cherchez des fonctions cachées de MIUI 14 pour tirer le maximum de votre smartphone Xiaomi, Redmi ou Poco, vous êtes au bon endroit. Dans ce guide, nextpit vous explique comment désactiver les pubs sur votre smartphone Xiaomi, comment installer les fonds d'écran animés Super Wallpapers ou encore comment regarder Youtube en arrière-plan avec l'écran éteint.

MIUI 15 ou plutôt HyperOS approche à grands pas. Mais en attendant la sortie de la nouvelle interface logicielle de Xiaomi, MIUI 14 (test) reste une surcouche Android très riche en fonctionnalités cachées.

Rendre le lecteur d'empreintes digitales sous l'écran plus discret

Cette astuce répond à un "besoin" très niche. En gros, l'idée est de baisser la luminosité du lecteur d'empreintes digitales sous l'écran de votre smartphone Xiaomi. Pour scanner vos empreintes, le lecteur projette une lumière sur une partie de l'écran afin de bien voir votre dermatoglyphe. 

Apparemment, certains utilisateurs se plaignaient que la lumière projetée par le capteur était trop intense. Cette fonction est surtout pensée pour que l'icône du lecteur d'empreintes soit plus discrète quand il fait nuit ou dans un environnement sombre. Pour baisser la luminosité du lecteur d'empreintes: 

  1. Allez dans les Réglages puis dans Mots de passe & sécurité
  2. Allez dans Déverrouillage avec empreinte digitale
  3. Défilez vers le bas jusqu'à Autres
  4. Sous Autres, activez l'interrupteur intitulé Déverrouillage des empreintes digitales à faible luminosité
Xiaomi MIUI 13 fonction cachée lecteur d'empreintes faible luminosité
L'icône du lecteur d'empreintes sous l'écran de votre Xiaomi sera moins lumineux et donc plus discret / © NextPit

Logiquement, cette fonction ne marche que si votre smartphone est doté d'un lecteur d'empreintes sous l'écran. Et Xiaomi précise que le déverrouillage peut prendre un peu plus longtemps que d'habitude avec cette fonction activée.

Transformer votre lecteur d'empreintes sous l'écran en raccourci

Cette fonction est super prometteuse, surtout si Xiaomi la rend plus personnalisable à l'avenir. Là aussi, il faut avoir un lecteur d'empreintes digitales sous l'écran de votre smartphone Xiaomi. 

Quand vous déverrouillez votre smartphone avec le lecteur d'empreintes, vous pouvez laisser appuyé votre doigt pour transformer le lecteur d'empreintes en raccourci. Seuls deux raccourcis sont disponibles pour l'instant: le lecteur de codes QR et la fonction de recherche système. 

  1. Déverrouillez votre smartphone Xiaomi avec le lecteur d'empreintes
  2. Laissez votre doigt appuyé sur l'écran après le déverrouillage
  3. Glissez votre doigt vers la droite ou la gauche selon le raccourci choisi

Comment regarder des vidéos Youtube avec l'écran verrouillé

Pour vous forcer à souscrire à son abonnement Youtube Premium, Google vous empêche volontairement de regarder des vidéos en arrière-plan ou avec l'écran verrouillé sur votre smartphone Android. 

Il existe de nombreux guides et tuto en ligne pour remédier à ce chantage mais MIUI propose une solution partielle mais surtout native. Avec le menu Video Toolbox, vous pouvez lancer des vidéos tout en verrouillant votre smartphone, la lecture ne s'arrêtera pas!

  1. Accédez aux Paramètres
  2. Allez dans Fonctionnalités spéciales
  3. Allez dans Boîte à outils vidéo et activez la fonctionnalité
  4. Toujours dans Boîte à outils vidéo, allez dans Gérer les applications vidéo et activez l'interrupteur pour Youtube
  5. Ouvrez Youtube, lancez votre vidéo, appuyez sur la barre translucide à gauche ou à droite de l'écran (selon votre choix)
  6. Dans le menu Boîte à outils vidéo, swipez une fois vers la gauche sur la première ligne
  7. Appuyez sur Lire le son de la vidéo avec l'écran éteint
xiaomi miui regarder youtube ecran eteint
Votre écran se verrouille automatiquement à l'activation de cette fonctionnalité. / © NextPit

Comment désactiver les publicités dans MIUI

Il faut passer par plusieurs étapes pour vraiment désactiver toutes les publicités dans l'interface MIUI et il faudrait un article complet pour toutes les détailler. Ça tombe bien, on en a un mis en lien ci-dessous. Mais vous pouvez déjà commencer par le plus important, désactiver l'application MSA ou MIUI System Ads.

  1. Allez dans Paramètres
  2. Allez dans Mots de passe & sécurité
  3. Sous Autorisation & révocation désactivez l'interrupteur de msa
  4. Attendez 10 secondes et appuyez sur Révoquer pour confirmer
xiaomi miui retirer publicites
Cette étape n'est que la partie visible de l'iceberg de pubs qui se cachent dans MIUI. / © NextPit

Cette manipulation devrait supprimer la plupart des pubs. Mais il ne s'agit que des pubs "système" dans l'interface MIUI, d'autres pubs peuvent subsister dans certaines des applications natives de Xiaomi et il faudra donc les désactiver individuellement. Quel bonheur, n'est-ce pas? 

Comment recevoir les mises à jour MIUI plus rapidement

Xiaomi ne suit pas Google à la lettre pour ce qui est des mises à jour et des implémentations de nouvelles fonctionnalités. Souvent, chez les fans de Xiaomi, l'idée reçue est que ce qui compte, ce n'est pas la version d'Android mais la version de MIUI. Mais comme tout fabricant chinois, Xiaomi déploie d'abord les nouvelles versions de sa surcouche en Chine avant de déployer les versions globales dans le reste du monde. Mais il existe une astuce pour recevoir les MAJ de MIUI en Europe avant tout le monde.

  1. Allez dans les Paramètres 
  2. Allez dans À propos de l'appareil
  3. Appuyez sur le widget Version MIUI en haut à gauche
  4. Appuyez sur le menu hamburger en haut à droite
  5. Allez dans Paramètres de mise à jour
  6. Sous Autre, activez la fonction Recevez les mises à jour plus tôt
xiaomi miui recevoir mises a jour plus vite
Vous pouvez aussi tenter de changer votre région pour l'Inde voire vous inscrire au programme MIUI Pilot. / © NextPit

Avec cette fonction, Xiaomi mettra votre smartphone sur la liste de ceux qui recevront les versions stables de MIUI en premier. Vous pourrez donc recevoir MIUI 13 en version globale quelques jours avant les autres utilisateurs européens. Mais cela veut aussi dire que vous serez en première ligne face aux bugs inhérents à chaque déploiement de MAJ.

Comment créer des raccourcis MIUI avec la fonction Back Tap

La fonction Back Tap de MIUI permet d'utiliser les gestes de double et triple tapotement au dos de votre smartphone Xiaomi pour créer des raccourcis (faire une capture d'écran, etc).

Pour activer la fonction Back Tap de MIUI sur votre smartphone Xiaomi: 

  1. Accédez aux Paramètres
  2. Allez dans Paramètres supplémentaires
  3. Allez dans Raccourcis vers les gestes
  4. Optez pour Appuyez en arrière (les traductions de Xiaomi sont approximatives)
  5. Choisissez Appuyez deux fois en arrière ou Appuyez trois fois en arrière
  6. Sélectionnez quel raccourci vous souhaitez associer au geste
Xiaomi MIUI Back Tap
C'est comme si vous aviez deux boutons supplémentaires sur votre smartphone Xiaomi. / © NextPit

Comment optimiser vos raccourcis MIUI avec Quick Ball

Quick Ball ou Assistant tactile est une fonctionnalité spéciale qui permet d'avoir un bouton de raccourci virtuel sur votre écran d'accueil. En appuyant sur ce bouton flottant (quick ball > balle > raccourci, vous l'avez?), vous avez accès à une série de 5 raccourcis. Vous pouvez assigner plusieurs actions à chacun de ces 5 raccourcis comme le retour à l'écran d'accueil, le passage en mode silencieux, etc.

  1. Allez dans Paramètres 
  2. Allez dans Paramètres supplémentaires puis Assistant tactile
  3. Activez l'Assistant tactile puis choisissez vos 5 raccourcis
  4. Depuis votre écran d'accueil, appuyez sur la bulle flottante pour faire apparaître l'Assistant tactile
Xiaomi MIUI 13 Menu Quick Ball
C'est un peu le même principe que sur OneUI de Samsung. / © NextPit

La bulle est flottante, vous pouvez donc la déplacer comme bon vous semble sur l'écran d'accueil de votre smartphone Xiaomi ou Redmi et vous pouvez aussi la cacher en la swipant vers les bords de l'écran.

Comment diffuser l'écran de votre Xiaomi avec l'Universal Casting Tool

Xiaomi permet de caster n'importe quel contenu depuis votre écran de smartphone vers votre TV ou n'importe quel autre type de moniteur connecté, voire PC.

  1. Allez dans Paramètres puis Connexion & partage
  2. Allez dans Diffusion puis activez l'interrupteur Diffuser
  3. Scannez les appareils connectés au même réseau Wi-Fi que votre smartphone
  4. Connectez-vous à votre TV ou PC
xiaomi miui caster diffuser ecran
Xiaomi passe par la technologie Miracast, qui est présente par défaut sur de nombreux TV connectés. / © NextPit

Cet outil de diffusion universel ou Universal casting tool propose aussi quelques fonctionnalités supplémentaires comme la possibilité de cacher des éléments à l'écran d'un simple tapotement ou de caster en arrière-plan et même avec l'écran de votre smartphone Xiaomi verrouillé.

Comment supprimer le Control Center

Le centre de contrôle de MIUI est un énième "hommage" de Xiaomi à Apple. C'est un menu d'accès rapide distinct du volet de notifications qu'on aime ou qu'on déteste. Pour celles et ceux d'entre vous qui le détestent, vous pouvez supprimer le Control Center et revenir à l'affichage classique pour tout avoir sur un même écran. 

  1. Allez dans Paramètres 
  2. Allez dans Notifications & Centre de contrôle
  3. Sous Centre de contrôle, appuyez sur Style du centre de contrôle 
  4. Choisissez Ancienne version
xiaomi miui supprimer control center
Vous préférez l'ancien menu déroulant (à gauche) ou le Control Center (à droite)? / © NextPit

Comment activer le compteur de FPS

Les gamers, les vrais, savent que les sacro-saints FPS sont indissociables de l'expérience gaming. Personnellement, si Call of Duty Mobile passe à ne serait-ce qu'une minuscule frame en deçà des 60 FPS, je jette mon téléphone à la poubelle et j'en rachète un avant de porter plainte contre le fabricant. Nan mais ho!

  1. Activez les options développeur (appuyez 7 fois sur version MIUI dans À propos de ce téléphone)
  2. Allez dans Paramètres puis Paramètres Supplémentaires
  3. Allez dans Options développeur
  4. Défilez vers le bas jusqu'à la section Surveillance
  5. Sous Surveillance, appuyez sur Power monitor
  6. Dans Frame Rate Monitor Tools, appuyez sur Start
xiaomi miui activer compteur fps
Jouez en 60 FPS, soyez dignes. / © NextPit

Les informations qui s'affichent en temps réel en haut à gauche de l'écran se superposent à l'affichage des applications. Pour éviter que cela vous gêne, vous pouvez réduire la fenêtre, la déplacer ou tout simplement la fermer. Attention, ce compteur est différent de celui proposé par Google et qui se trouve aussi dans les options développeur (il me semble que celui de Google a du mal avec les écrans Oled).

Comment activer les Super Wallpapers

C'est une fonctionnalité qui a fait beaucoup de bruit à la sortie de MIUI 12, mais qui n'est plus très nouvelle en 2022. Les Super Wallpapers sont des fonds d'écran animés de Xiaomi. Ils proposent des thèmes liés à la nature et l'astronomie avec des vues spectaculaires de Mars, par exemple. Et lorsque vous déverrouillez votre smartphone Xiaomi, le fond d'écran opère un énorme zoom qui fait son petit effet. 

  1. Allez dans Paramètres
  2. Allez dans Fond d'écran
  3. Appuyez sur Super fonds d'écran
xiaomi miui activer fond d ecran super wallpaper
Xiaomi sait y faire en termes de personnalisation d'interface, il faut l'avouer. / © NextPit

Cette fonctionnalité n'est pas disponible par défaut sur tous les smartphones Xiaomi. Le fabricant semble la réserver aux smartphones Xiaomi, Redmi et Poco équipés de SoC suffisamment puissants, autrement dit haut-milieu de gamme minimum. Mais, rassurez-vous, c'est assez facile de bricoler vos propres Super Wallpaper sur n'importe quel smartphone Android avec les APK.

Activer le mode lumière du soleil pour booster la luminosité

Chaque surcouche Android propose une luminosité adaptative dont le niveau s'adapte à la lumière ambiante. Mais tout le monde ne l'utilise pas, en particulier si vous avez l'habitude de jouer sur votre smartphone Xiaomi. Pour celles et ceux qui n'utilisent pas la luminosité adaptative mais qui veulent malgré tout que leur écran reste lisible en extérieur, MIUI propose un mode "lumière du soleil".

L'idée est de booster automatiquement la luminosité dès que vous sortez de chez vous. En gros, la luminosité ne change automatiquement que lorsque vous allez dehors en plein soleil. Le reste du temps, elle reste au niveau que vous avez paramétré. 

  1. Allez dans Paramètres
  2. Allez dans Écran puis Niveau de luminosité
  3. Activez la fonction Mode lumière du soleil (la luminosité adaptative doit préalablement être désactivée)
xiaomi miui luminosite
Pratique quand on ne sort presque jamais de sa grotte, comme moi. / © NextPit

Comment "nettoyer" vos haut-parleurs

Cette fonction cachée devrait peut-être le rester. Xiaomi prétend pouvoir "nettoyer" les haut-parleurs de ses smartphones. L'idée est de diffuser un son suffisamment puissant pour dégager la poussière obstruant les haut-parleurs. 

  1. Allez dans Paramètres
  2. Allez dans Paramètres supplémentaires
  3. Appuyez sur Nettoyer le haut-parleur
xiaomi miui nettoyer haut parleurs
Vous y croyez à cette solution-miracle de Xiaomi, vous? / © NextPit

Le nettoyage prend 30 secondes et le son diffusé ressemble à une sirène. Xiaomi conseille de répéter l'opération 2 à 5 fois en fonction de l'encrassage du haut-parleur. Personnellement, je ne crois absolument pas à l'efficacité de cette option, mais qui sait, peut-être que l'effet placebo en vaut la peine (et peut-être que je me trompe, aussi). 

Comment protéger vos photos avec un watermark

Vous avez peur que quelqu'un vous vole les photos que vous mettez en ligne? Dans ce cas, un filigrane est généralement un moyen efficace. Vous pouvez l'ajouter avec des applications tierces ou alors directement avec votre smartphone Xiaomi. La fonction y est en effet déjà préinstallée en tant qu'outil de bord. En quelques étapes, vous pourrez ainsi ajouter un filigrane d'une longueur maximale de 14 caractères aux images de votre galerie. Voici comment faire:

  1. Dans votre galerie, appuyez sur le menu à trois points sur la photo de votre choix
  2. Dans le menu contextuel, appuyez sur Filigrane de protection
  3. Écrivez le message de votre choix (14 signes maximum)
Screenshots der Wasserzeichen-Funktion in MIUI 13.
Le filigrane apparaît à plusieurs endroits aléatoires sur la photo pour éviter de disparaître en cas de recadrage ou découpage / © NextPit

Flouter l'aperçu d'une application dans le menu des applications récentes

Vous voulez éviter que vos copains curieux ne voient trop ce qui se passe sur votre smartphone Xiaomi? Il est possible de rendre méconnaissable l'aperçu des dernières applications ouvertes avec un effet de flou sous MIUI. Activez cette fonction et plus personne ne pourra voir dans quel dossier vous avez navigué en dernier. Voici comment faire:

  1. Sur votre écran d'accueil, pincez l'écran et appuyez sur l'icône de rouage pour accéder aux Paramètres de l'écran d'accueil
  2. Appuyez sur le bouton Plus
  3. Appuyez sur Flouter les aperçus d'applications
  4. Sélectionnez les applications dont vous voulez flouter l'aperçu ou non
Screenshots der Einstellungen auf einem Xiaomi-Smartphone
Vous pouvez choisir quelles applications flouter ou non. / © NextPit

Voilà pour ce guide sur les meilleures fonctionnalités et astuces cachées de MIUI. Avez-vous trouvé cet article utile? Avez-vous découvert une fonction que vous ne connaissiez pas? Ou peut-être que vous avez une astuce qui n'est pas listée dans ce guide?

Pour aller plus loin, vous pouvez consulter notre liste des meilleures astuces de One UI pour votre Samsung ainsi que les meilleures fonctions d'iOS pour votre iPhone.

  Le meilleur smartphone Android Le meilleur iPhone Le meilleur smartphone photo Le meilleur milieu de gamme Le meilleur smartphone pliable Le meilleur smartphone pliable compact
Produit
Illustration Samsung Galaxy S24 Ultra Product Image Apple iPhone 15 Pro Product Image Google Pixel 8 Pro Product Image Google Pixel 7a Product Image OnePlus Open Product Image Samsung Galaxy Z Flip 5 Product Image
Note
Lire le test du Samsung Galaxy S24 Ultra
Lire le test du Apple iPhone 15 Pro
Lire le test du Google Pixel 8 Pro
Lire le test du Google Pixel 7a
Lire le test du OnePlus Open
Lire le test du Samsung Galaxy Z Flip 5
Offre*
nextpit reçoit une commission pour les achats effectués via les liens marqués comme étant affiliés. Cela n'a aucune influence sur le contenu éditorial, et ne représente aucun coût pour vous. Pour en savoir plus sur comment nous monétisons notre contenu, rendez-vous sur notre page dédiée à la transparence.
Aller au commentaire (29)
Antoine Engels

Antoine Engels
Senior Editor

Ceinture noire en lecture de fiche technique. Fanboy OnePlus en rémission. Temps de lecture moyen pour mes articles: 48 minutes. Fact-checkeur de bons plans tech à mes heures perdues. Déteste parler de lui-même à la troisième personne. Aurait aimé être journaliste JV dans une autre vie. Ne comprend pas l'ironie. Responsable du contenu éditorial pour NextPit France.

Voir tous les articles
Ce article vous a-t-il plu? N'hésitez pas à le partager!
Articles recommandés
Derniers Articles
Notification push Article suivant
29 Commentaires
Ecrire un nouveau commentaire :
Tous les changements seront sauvegardés. Aucun brouillon n'est enregistré pendant l'édition
Ecrire un nouveau commentaire :
Tous les changements seront sauvegardés. Aucun brouillon n'est enregistré pendant l'édition

  • Dylan Frt 1
    Dylan Frt depuis 6 mois Lien du commentaire

    Bonjour, je possède un Redmi 12 et je ne trouve pas comment changer le centre de contrôle, aider moi. Impossible de trouver la plateforme où c'est marqué "encienne version" et "nouvelle version"


    • 2
      Scooby depuis 6 mois Lien du commentaire

      Bonjour
      Pour l'info il faut aller dans paramètre
      NOTIFICATIONS ET CENTRE DE CONTROLE
      STYLE DU CENTRE DE CONTROLE
      et tu aura le choix entre l'ancienne et la nouvelle version

      Antoine Engels


      • Antoine Engels 43
        Antoine Engels
        • Admin
        • Staff
        depuis 6 mois Lien du commentaire

        Merci pour ton aide à la communauté!


  • 1
    WebmastAir 17 nov. 2022 Lien du commentaire

    Supers infos !
    Malheureusement je ne trouve pas le moyen d'arrêter ce qui me chagrine un peu... ces encombrants petits "popups" qui se placent même sur mon clavier. Je n'ai toujours pas trouvé comment les désactiver... quelqu'un aurait-il une idée ? (merci d'avance).


    • 1
      WebmastAir 18 nov. 2022 Lien du commentaire

      Re-bonjour,
      Pour précision, les popups dont je parle sont les petites bulles d'aide/info qui apparaissent à tous bouts de champs quand il y a une action (par ex. en gardant le doigt sur l'écran pour afficher les widgets, il apparaît "Agiter l'appareil pour remplir les cellules vides avec des icônes")... merci pour toute réponse !?


  • 1
    Jojo 28 sept. 2022 Lien du commentaire

    Merci pour l'article bien détaillé !
    J'ai une question. J'aimerai pouvoir accéder à mon écran (Poco F3) à une main. Malheureusement avec android 12 ce n'est plus possible de réduire l'écran complet. C'est vraiment le pire mode à une main qui existe à l'heure actuelle... Je possède aussi un Mi Note 10 et le mode à une main top ! On peu choisir la taille de l'écran (3.5/4/4.5") et si on le veut à gauche ou à droite. Quelqu’un pourrait m'aider ? Je arrive presque à vouloir retourner à android 11 =(


  • 1
    mlagafette1 5 août 2022 Lien du commentaire

    J'ai un redmi note 11 pro 5G Est-il possible de mettre un mp3 perso pour la réception de sms? Pour l'instant j'ai pour la sonnerie téléphone mais pour le reste sms, mails,notifications c'est le même son!! Merci de votre aide


    • 2
      Charles 6 sept. 2022 Lien du commentaire

      Message, 3 petits points en haut à droite, paramètres, notifications, messages entrants, son, choisir une sonnerie locale. Et voilà☺


  • 1
    mlagafette1 5 août 2022 Lien du commentaire

    J'ai Redmi note pro 11. 5G Lorsque la pub d'un jeu est là, impossible de couper ou diminuer le son! Mode silencieux, avion, le volume à zéo et rien ne fonctionne!!!! Help Merci


    • 2
      Charles 6 sept. 2022 Lien du commentaire

      Comment désactiver les publicités dans MIUI

      Il faut passer par plusieurs étapes pour vraiment désactiver toutes les publicités dans l'interface MIUI et il faudrait un article complet pour toutes les détailler. Ça tombe bien, on en a un mis en lien ci-dessous. Mais vous pouvez déjà commencer par le plus important, désactiver l'application MSA ou MIUI System Ads.

      Allez dans Paramètres
      Allez dans Mots de passe & sécurité
      Sous Autorisation & révocation désactivez l'interrupteur de msa
      Attendez 10 secondes et appuyez sur Révoquer pour confirmer


  • 1
    MissMina 25 juil. 2022 Lien du commentaire

    La caméra frontale ne marche pas, aidez moi


  • 1
    MissMina 25 juil. 2022 Lien du commentaire

    Moi je cherche cette barre a gauche qui permettait d'aller sur d'autres application, tout en étant sur une autre. Aidez moi stp


  • 1
    MissMina 25 juil. 2022 Lien du commentaire

    Moi je cherche cette barre a gauche qui permettait d'aller sur d'autres application, tout en étant sur une autre. Aidez moi stp


    • 1
      Lams 13 sept. 2022 Lien du commentaire

      Ouvrez "Récents" c'est-à-dire les aperçus d'applications, puis appuyez longuement sur l'aperçu d'une application et c'est normalement la petite icone representée par deux rectangles séparés😊


  • 1
    cab 5 juin 2022 Lien du commentaire

    bonjour comment faire pour bloquer la possibilité de cloner les applications ? merci d'avance


  • 1
    Patou 25 févr. 2022 Lien du commentaire

    Bonsoir, est ce que quelqu'un sais comment faire pour rallonger la durée d'une prise video ?
    8 mn maxi en 4K .
    il est possible de faire plus ?


  • 1
    Said 7 mai 2021 Lien du commentaire

    Bonjour,je possède un Redmi 9a ;dans batterie et performance (paramètres) l'affichage restant de la batterie c'est changé de % en horaire restant :comment retourner au %. Merci.


  • 1
    Mklctl 27 févr. 2021 Lien du commentaire

    Comment on fais si on a pas de carte de crédit


  • 21
    Pirlo01 17 mai 2020 Lien du commentaire

    Merci pour l'astuce pour le tiroir d'application je ne le savais pas et je l'ai essayé sur mi mix 2 et enfin de compte je vais pas m'en servir je préfère voir mes applications sur ma page d'accueil avec mon rangement


  • 2
    Tite fleurs 29 déc. 2019 Lien du commentaire

    Bonsoir j'ai un Xiaomi 9lite et je n'ai plus acces un l'historique des pages ouverte quand je touche le carré il me mets des ronds sur les icônes pour les mettre en groupe comment faire pour changer svp

    Compte désactivé

Montrer tous les commentaires
Ecrire un nouveau commentaire :
Tous les changements seront sauvegardés. Aucun brouillon n'est enregistré pendant l'édition