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