Arrêté du 25 juillet 2017 modifiant l'arrêté du 2 octobre 20 — Arrêté du 25 juillet 2017 modifiant l'arrêté du 2 octobre 2015 relatif aux règles de fonctionnement et de convocation et aux modalités d'élection des représentants du personnel aux commissions administratives mixtes de la direction générale de la sécurité extérieure