Bonjour,
Pour réduire la taille de la police des cotations, suivez ces étapes :
- Sélectionnez un mur, puis une cotation automatique encadrée en vert pour afficher le menu de gauche des cotations.
- Ouvrez le menu Options des cotations.
- Choisissez la taille de la police dans la section appropriée.
Vous pouvez également accéder à ce menu en sélectionnant une cotation placée manuellement.

Pour plus de détails, vous pouvez consulter la source suivante : Taille du texte des cotations.
Bonne continuation avec ArchiFacile.