verb. act. Faire une mine, conduire une mine. Les ennemis ont miné sous ce bastion, sous cette demy-lune mais on a éventé leur mine, on en a empesché l'effet.

MINER, signifie aussi, ruiner, caver petit à petit ; & se dit particulierement de l'eau. La gounaire qui tombe auprés de ce mur, en a miné peu à peu le fondement. La riviere mine les piles des ponts, les quais & ses bords. Le temps mine, destruit toutes choses.

MINER, se dit aussi figurément en Morale. Les arrerages de rente minent peu à peu un debiteur. Cet homme est chargé de sa parenté qui le mine, qui le mange. Les ennuys, les afflictions l'ont tellement miné, qu'il se meurt.