Un haut responsable du renseignement russe tué au large de la Libye?