taille des polices de caracteres

• 19 Févr. 2023 - 10:21

Ou peut-on modifier la taille des polices de caractères pour les textes et l'affichage du tempo, des repères
Merci


Commentaires

Do you still have an unanswered question? Please log in first to post your question.