Plus de 30 °C en Irlande, 37 °C au Portugal : des niveaux de chaleur records pour mai