Industries manufacturières : Légère hausse de l'indice des prix à la production en juillet