Le Blond, Bellin, L’Encyclopédie, 1re éd.
“ Capitaine de Marine, c’est celui qui commande les soldats gardiens d’un port. Il y en a dans chaque port où il y a des soldats gardiens. Capitaine d’armes, c’est un bas officier qui a soin des soldats sur les vaisseaux : il est immédiatement au-dessus des sergens, & a l’inspection sur les menues armes du vaisseau ”
