Industrie: légère baisse de l’indice des prix à la production en avril 2020