Un séisme de magnitude 7,7 frappe l'est de l'Indonésie