Mary-Sophie Harvey a complété sa prolifique semaine aux Championnats du monde de natation en petit bassin à Budapest.