Records de chaleur : la France vit son mois d'octobre le plus chaud depuis 1900