Indonésie : séisme de magnitude 7 en mer de Java