%% Translation of GIT committish: 57f9346bb030f49336a858fcbf1519366fe56454
  texidocfr = "
Le symbole imprimé lors d'un changement de clef est plus petit que la
clef initiale.  La taille s'ajuste à l'aide de la propriété
@code{full-size-change}.

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