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