Mines et des carrières : la justice édicte l'observance du code minier