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