Jusqu’à 47°C : au Portugal, le mois de juillet a été le plus chaud depuis près d’un siècle