La mort de trois hommes de la DGSE en Libye le 17 juillet met en lumière les activités du service dans le pays.