Les températures des océans mondiaux à un niveau record pour un mois de juillet (Copernicus)