Fin des recherches en Indonésie après l'éruption meurtrière du volcan Marapi