MINER, verbe trans.
Étymol. et Hist. 1. a) Ca 1200 «creuser par dessous un terrain, un rocher, un mur pour provoquer un effondrement» (
Aiol, 10859 ds T.-L.);
b) xves. [éd. de 1528] «creuser, caver lentement (un rivage)» (
Perceforest, vol. III, ch. XXX ds
Gdf. Compl.);
c) 1680 «creuser le terrain sous une muraille, etc., pour y placer une charge d'explosifs» (
Rich.);
2. a) ca 1340 «détruire, ronger progressivement (en parlant de l'amour)» (
Batard de Bouillon, 2548 ds T.-L.);
b) ca 1350
se miner «être consumé, diminué (d'un mal)» (G.
Le Muisit, Poésies, II, 10 ds T.-L.). Dér. de
mine2*; dés.
-er.