Direction générale de la sécurité intérieure (DGSI)  General Directorate for Internal Security...