Royaume-Uni : nette hausse de la production industrielle en mai