Décès de l’amiral Pierre Lacoste, ancien patron de la DGSE