directeur à la direction générale de la sécurité extérieure