Dictionnaire de Trévoux/6e édition, 1771/CONTRE-MINE
CONTRE-MINE, s. f. terme de Guerre, c’est une voûte, ou allée sous terre tout le long de la muraille, large de trois piés, & haute de six, avec plusieurs trous pour empêcher l’effort des mines. Contrarius, adversus cuniculus. Cette sorte de contre-mine n’est plus en usage. Aujourd’hui c’est un puits, une galerie, un ouvrage souterrain qu’on fait pour éventer la mine de l’ennemi, & en empêcher l’effet.
☞ On appelle aussi contre-mine, une mine pratiquée sous les bastions & sous les dehors d’une place, pour faire sauter les ennemis, en cas qu’ils vinssent à s’y loger. Voyez Mine. En bâtissant cette place, on a fait une contre-mine sous chaque bastion.
Contre-Mine, figurément, signifie une adresse qu’on trouve pour empêcher qu’un autre ne nous fasse le mal que nous savons qu’il a dessein de nous faire. Meliori fraude retusa fraus. On ne le dit guère, ou plutôt on ne le dit point.