Techniques (Les) minières de l'Antiquité au XVIIIe siècle (113e Cong. Nat. Soc. Sav. Strasbourg 1988), 1992, 600 p. -

De l'Antiquité au XVIIIe s., les techniques d'extraction des richesses contenues dans les sous-sols ont connu des mutations profondes pour augmenter les quantités produites et limiter le coût d'exploitation. Afin d'atteindre des gisements de plus en plus profonds, de plus en plus difficiles d'accès, il a fallu mettre au point de nouvelles méthodes d'exhaure, de transport à l'intérieur des mines, d'abattage et d'aérage.