Je souhaite augmenter la taille de la police utilisée dans explorer.exe
(alias Poste de travail) pour répertorier les fichiers / dossiers. Je ne souhaite pas augmenter / diminuer le DPI global de l'écran. Je voudrais juste changer la police d'interface utilisateur système utilisée par Windows 10. Je sais comment utiliser le registre système.