Un séisme de magnitude 5,1 frappe le sud de Java, en Indonésie (GFZ)