Paris a connu un record de précipitations au mois de juillet