Pb d'épaisseur de barres de mesure par défau t

[Editions IN NOMINE]

Bonjour.

Sous 2.13, j'ai une épaissuer de barre de mesure trop importante par 
défaut (pas du tout la même que celle de 2.12).

Après fouilles approfondies, j'ai trouvé dans define-grobs.scm les 
paramètres par défaut suivants :

   (kern . 3.0)                    --> espace après une barre de mesure 
épaisse
   (thin-kern . 3.0)            --> espace après une barre de mesure fine
   (hair-thickness . 1.9)    --> épaisseur de barre de mesure
   (thick-thickness . 6.0)  --> épaisseur de barre de mesure épaisse

Sous 2.12, les valeurs sont visiblement les mêmes. 

Je suis obligé de modifier les valeurs ainsi :

(hair-thickness . 0.5)
(thick-thickness . 4.0)

ce qui me paraît très surprenant...

D'autres que moi ont-ils eu ce pb ?

A bientôt
JMarc





Je suis donc obligé d'indiquer :

\new Staff \with {\override BarLine #'hair-thickness = #0.5 }{...} ce 
qui est un peu pénible.

Quelqu'un(e) saurait me dire où se trouve définie cette valeur dans les 
fichiers ?