Bulletin de la Direction des mines. (Grande imprimerie africaine, 1943)