tokens: La distinction entre mine et carrière tient à la nature du matériau extrait ( stratégique ou précieux pour la mine , de moindre valeur pour la carrière ) ; en France , c' est le code minier qui définit cela .