Les fonctionnaires de la direction générale de la sécurité extérieure ne disposent pas du droit de grève.