Le vice-amiral Laborde, nouveau directeur de l’IHEDN