Juillet 2023 pulvérise un record et devient le mois le plus chaud jamais enregistré sur la planète