Traité de l'exploitation des mines : Où l'on décrit les situtations des Mines, l'art d'entailler la roche & la substance des filons, de former les puits & les galeries, de procurer de l'air [...]. Paris : Didot l'âiné, 1773