L'industrie extractive en Algérie, son évolution depuis 1930 et ses perspectives d'avenir en fonction de la situation actuelle des recherches géologiques — G. Bétier