1er Régiment de parachutiste d'infanterie de marine — France. Armée. Régiment de parachutistes d'infanterie de marine (01)