411 L'INDUSTRIE DU CIMENT. L'industrie du ciment, dont la production mondiale est passée de 86 millions de t en 1938 à 235 millions en 1956, constitue par ses tonnages, les quantités d'énergie mécanique et de combustible qu'elle utilise, les capitaux qu'elle immobilise, une des plus importantes branches de l'économie industrielle.