Rajout option taille flèches

Bonjour Jérôme,
Dans la nouvelle version, sous :
Enregistrer
Export PDF / Imprimer
Colone Export à gauche
Sous Échelle il y a déjà taille textes et taille cotations.
S'il y avait en plus taille flèches à la suite on ne serai pas obligé de revenir par ''Retour au menu'' pour pouvoir les modifier et devoir recommencer toute la procédure pour exporter le PDF.