Comment changer la police de lÉditeur du Registre dans Windows 10 Ce guide vous montrera comment modifier la police de l'Éditeur du Registre uniquement pour votre compte ou pour tous les utilisateurs de Windows 10.
