Édit, portant suppression de l'office de Grand-maistre surintendant et général réformateur alternatif des mines et minières de France, et création de deux Grands-maistres surintendans et généraux réformateurs, alternatif et triennal, desdittes mines et minières — France