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