Industrie : Hausse de 0,3% de l'indice des prix à la production en juillet