%% Translation of GIT committish: fc57157ac8148a900fde059f045a1e287f1493e6
  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"
