Le chef du groupe jihadiste responsable de l’assassinat d’Hervé Gourdel a été tué par l’armée algérienne