Bonjour,
Une fonctionnalité intéressante de l'Éditeur du Registre dans Windows 10 est la possibilité d'ajouter des favoris, qui seront conservés lors des mises à jour de Windows.
Voir l'article de The Windows Club : http://www.thewindowsclub.com/add-favor ... or-windows
Traduction Google
https://translate.google.fr/translate?s ... edit-text=