A l'époque de la construction de ton bateau, les enrouleurs de GSE n'étaient pas encore très courants, et les calculs pour efforts sur les gréements n'en tenaient pas compte.
Depuis leur généralisation, les professionnels conseillent, quand cela est possible d'augmenter les diamètres des étais, afin d'améliorer la marge de sécurité.
Par exemple sur mon bateau, le gréement initial était en 7 mm, et lors du changement l'année dernière le chantier a gardé le 7mm pour les haubans et pataras, mais a monté du 8 mm pour l'étai.
Donc dans ton cas, si 4 mm était la section d'origine, monter du 5 mm pour l'étai, (si ça passe dans l'enrouleur) ne peut, à mon avis, pas faire de mal. Mais en revanche, tu auras un peu plus de poids dans les hauts....handicap pour la régate !! Voir à ce sujet, le post de Littlewing sur l'antenne VHF

Amitiés