Modification de la taille de la police du navigateur de fichiers

Vous pouvez choisir une police plus petite ou plus grande pour l'affichage des noms de fichier.

Pour modifier la taille de police du navigateur de fichiers :