9e brigade d'infanterie de marine (organisation)
Autres groupes liés à celui-ci:
De:
Patrik STEIGER
Général de brigade
Objet:
commandant de la 9e brigade d'infanterie de marine
Groupe:
9e brigade d'infanterie de marine
date_debut
=
"
2019-08-01
"
JORFTEXT000038712272
(source JORF)
nomination
02 Juillet 2019
02/07/2019