Texte à trous sur génération pdf : pouvoir définir une taille de trou autre que la taille fixe par défaut