Augmenter la taille de la police de l'explorateur Windows 10

Bonjour,

Il est toujours dangereux de modifier la taille de la police système, cela peut provoquer des effets inattendus et c'est devenu de toute façon pas très commode depuis Windows 7.

Les alternatives sont d'utiliser les options d'ergonomie pour agrandir le texte, de jouer sur la résolution de l'écran, ou bien de passer par un utilitaire.

https://www.malekal.com/changer-taille-polices-windows-10/