%% Translation of GIT committish: a3fd5364fc4f247579da0ed2bfea887ab37285c6
  texidocfr = "
Lorsqu'un changement de clef intervient, le nouveau signe s'imprime dans
une taille inférieure. On peut y déroger avec @code{full-size-change}.
"

  doctitlefr = "Conservation de la taille lors d'un changement de clef"
