polices de caractères

[domalexthen]

Il serait intéressant de pouvoir changer les tailles de polices pour les références et les broches des symboles