La surface des océans vient de connaître son mois de mai le plus chaud jamais enregistré, a indiqué le service européen Copernicus, après un mois d’avril record.