contribution des mines au développement local