Armée de Terre (France) Armée Française Brigades (France) 9e brigade d’infanterie de marine (9e BIMa)