Le groupe minier français Eramet veut céder une part de son activité en Indonésie