Indonésie: le chef d'un groupe jihadiste lié à l'organisation EI tué