L’Encyclopédie/1re édition/CONTRE-MINE
(Tome 4, p. 138).
CONTRE-MINE, sub. f. terme de Fortification, est une voûte soûterraine qui regne tout du long sous une muraille, large de trois piés & haute de six, avec plusieurs ouvertures ou trous de place en place, pour empêcher l’effet des mines, si les ennemis en pratiquoient sous la muraille pour la renverser. Voy. Mine.
Cette sorte de mine n’est plus guere en usage. La contre-mine d’à présent est un puits & une galerie ou rameau qu’on fait exprès pour aller rencontrer la mine des ennemis, quand on sait à-peu-près où ils travaillent. Chambers.
On appelle contre-mine au figuré une ruse par laquelle on prévient l’effet d’une autre ruse. (Q)