1er France. Armée. Régiment d'infanterie de marine