les techniques minières ont apporté