La 9e brigade d’infanterie de marine au diapason - novembre 2012