Gendarmeria di marina
Dizionario di Marina - Reale Accademia D'Italia - Roma
Gendarmeria di marina (Term. disus.). — La gendarmeria che faceva sul mare, negli arsenali, e nei porti lo stesso servizio della gendarmeria in terra. Venez. ant. Compagni di stendardo. (Guglielmotti).