Juillet a été le mois le plus chaud de l’histoire