les entreprises qui construisent des mines