Ministère de la Production industrielle. Direction des Mines. Bureau de documentation minière. Statistique de l'industrie minérale en France, en Algérie et dans les territoires de la France d'outre-mer pour l'année 1946 — France. Direction des mines