Principales statistiques des industries de l’extraction minière pour la pierre, le sable, le gravier, l’argile, la céramique et les minerais réfractaires – données annuelles