Décret du 12 juillet 2017 chargeant des fonctions de délégué général pour l’armement par intérim