CONTRE-MINE. n. f.
T. d'Art militaire. Ouvrage souterrain que l'on fait pour éventer la mine de l'ennemi et pour en empêcher l'effet. Il se dit aussi d'une Mine pratiquée sous les bastions et sous les dehors d'une place pour faire sauter les ennemis s'ils venaient à s'y loger. Il se dit figurément de Manœuvres pour déjouer une entreprise, une intrigue. Des contre-mines.