Catalogue des publications de la Direction des Mines et de la Géologie (Eds. de la Division de la Géologie, 1963)