mineurs miniers et exploitants de carrières