Production minérale en Autriche — France. Bureau de documentation minière