1er régiment d'infanterie de marine — France. Armée. Régiment d'infanterie de marine (001)