archigrelin
podstatné jméno
—
(Marine) (Vieilli) (Désuet) Cordage composé de plusieurs grelins.
⋄ Des archigrelins. Ce n'est pas tout: il seroit possible de faire des cordes commises trois fois; nous les nommerons des archigrelins, c'est - à - dire des grelins composés d'autres grelins: en ce cas, les plus simples de ces archigrelins seroient à vingt - sept torons; & si l'on faisoit les cordons à six torons, les grelins de même à six cordons, & l'archigrelin aussi avec six grelins, on auroit une corde qui seroit composée de 216 torons.