directeur général du Bureau de recherches géologiques et minières