Environnement : juillet 2023, le mois le plus chaud jamais enregistré