Royaume-Uni : le PIB repart plus que prévu en mai, après avoir stagné en avril