a hole under ground, usually of a cylindrical figure, and walled with stone and mortar: its use is to collect the water of the strata around it.

in the military art, a depth which the miner sinks under ground with branches or galleries running out from it; either to prepare a mine, or to discover and disappoint the enemies mine.