Traité de l'exploitation des mines: où l'on décrit les situations des mines, l'art d'entailler la roche & la substance des filons, de former les puits & les galeries, de procurer de l'air aux souterrains, d'en vuider les eaux, d'élever les roches & les mines au jour, & de percer la terre : avec un traité particulier sur la préparation et le lavage des mines