I faire des fouilles souterraines pour la recherche de l’eau, des métaux,
etc. LUC.
Char. 11 ; d’où extraire des métaux d’une mine, DS.
5, 37 ; au pass. être extrait d’une mine, PLAT.
Pol. 288 d ;
p. ext. : 1 creuser une mine, miner, DS.
18, 70 ; fig. DH.
4, 44, etc. ; 2 fouiller, explorer,
en gén. ANTH.
6, 302 ; NIC.
Th. 672 ; II condamner au travail des mines,
acc. POLYEN
2, 1, 26.
Étym. μέταλλον.
Bailly 2020 Hugo Chávez Gérard Gréco, André Charbonnet, Mark De Wilde, Bernard Maréchal & contributeurs / Licence Creative Commons Attribution - Pas d'Utilisation Commerciale - Pas de Modification — « CC BY-NC-ND 4.0 »