INFANTERIE DE MARINE

L'infanterie de marine est affectée au service de garnison dans les ports militaires du royaume et aux colonies. Elle fournit aussi, dans les cas d'urgence, des détachements à bord des bâtiments de la flotte.

Les troupes de la marine, artillerie et infanterie, soumises à une même autorité, présentent donc le grand avantage de donner plus d'unité au service dans les arsenaux et aux colonies. De plus, amarinées par