Arrêté du 2 octobre 2015 relatif à la prévention des risques professionnels à la direction générale de la sécurité extérieure