M. Jean-François Kraft est nommé directeur à la direction générale de la sécurité extérieure.