Les stocks mondiaux de pétrole chutent de 8,7 millions de barils par jour en mai, un record