Aux JO de Paris, dernier bain pour la nageuse Charlotte Bonnet