Natation: l’Américaine Katie Ledecky championne du monde du 800 m nage libre pour la 7e fois