Windows 7 - Modifier la taille des polices de l'écran de connexion

Après quelques escapades linuxiennes autant que matérielles, retour à Windows, pour une petite astuce pas trop courante. Je n'ai pas encore eu l'opportunité de la tester sur un autre système que Windows 7, mais elle doit a priori s'appliquer aux systèmes ultérieurs, tels que Windows 8.x et Windows 10. Nous avions vu, il y a déjà 8 ans, dans un billet que j'avais rédigé en 2009, comment modifier le fond d'écran de l'écran de connexion de Windows 7. Mais cela ne permettait pas d'intervenir sur la taille des polices. Or, depuis 8 ans, les choses ont bien évolué au niveau des écrans et les modèles dotés de résolutions toutes plus importantes les unes que les autres sont de plus en plus fréquents.