Les mines de La Machine et la Révolution : les changements dans l’appropriation du gisement et dans les circuits commerciaux