Dictionnaire de Trévoux/6e édition, 1771/AGRETS
(1, p. 168).
AGRETS. s. m. pl. (L’Académie écrit Agrès). Voiles, cordages, & toutes les autres choses nécessaires pour les manœuvres d’un vaisseau, & pour le mettre en état d’aller en mer. Armamenta. On les appelle sartie sur la Méditerranée. On les nomme aussi agrez, ou agreilz, ou agreils.