Décret portant règlement sur le service spécial de la gendarmerie impériale maritime du 15 juillet 1858 — France. Ministère de la marine et des colonies