À Paris, le mois de juillet n'avait pas été aussi pluvieux depuis plus de 20 ans