-%% Translation of GIT committish: d9d1da30361a0bcaea1ae058eb1bc8dd3a5b2e4c
+%% Translation of GIT committish: 3b125956b08d27ef39cd48bfa3a2f1e1bb2ae8b4
texidocfr = "
Voici comment obtenir une brève -- aussi appelée note carée --
flanquée de deux barres verticales, au lieu d'une comme habituellement.