Congrès international des mines, de la métallurgie et de la géologie appliquée. VIIe session. Paris, 20-26 octobre 1935..., section des mines — Congrès international des mines, de la métallurgie et de la géologie appliquées (07 ; 1935 ; Paris)