France : record de chaleur battu pour le mois d’octobre depuis 1900