quoil équipement était utilisé pour l exploitation minière au xiie siècle