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

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