%% Translation of GIT committish: e99967817ff985eb5bd5b0220b2fbf552963f9de
  texidocfr = "
Voici comment entourer d'un cercle une note :

"
  doctitlefr = "Encerclement de notes"