Changer la taille de la police du système

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

demandé sur