tools in mining in France