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.