Indonésie: un séisme de magnitude 5,8 secoue l'île de Java