Industries manufacturières hors raffinage de pétrole: Hausse de 0,4% de l’indice des prix à la production en mai