-%% Translation of GIT committish: 64d521c30b929ac9be37823df577b8f02c8cf0ee
+%% Translation of GIT committish: 958e95822083954cad00e0a598eb9f12ceba67b9
texidocfr = "
Il est possible, à l'aide de la fonction @code{map-some-music},
d'ajouter divers éléments à des notes. Voici comment attacher un script