Publicité

Signification de miner

mineur; personne qui extrait des métaux ou des minéraux; ouvrier des mines

Étymologie et Histoire de miner

miner(n.)

Vers 1300 (début du 13e siècle en tant que nom de famille), désignant "celui qui mine, une personne engagée dans l'extraction de métaux ou de minéraux, ou dans le creusement d'une mine militaire." Ce terme provient du vieux français mineour (13e siècle), un nom d'agent dérivé de miner, qui signifie "extraire des mines" (voir mine (v.1)).

Entrées associées

Vers 1300, minen, « creuser un tunnel sous des fortifications pour les détruire », dérivé de mine (n.1) ou du vieux français miner signifiant « creuser, extraire des mines ; exterminer », basé sur le nom français. À partir du milieu du 14e siècle, le verbe prend le sens de « creuser dans la terre » pour obtenir des minéraux, des trésors, etc. Le sens figuré de « ruiner ou détruire par des méthodes lentes ou secrètes » émerge également au milieu du 14e siècle. L'utilisation transitif, signifiant « extraire par le biais de l'exploitation minière », apparaît vers la fin du 14e siècle. Pour le sens de « poser des mines (explosives) », référez-vous à mine (v.2). Lié : Mined; mining.

Dans les années 1630, formé à partir de coal (n.) et miner.

    Publicité

    Tendances de " miner "

    Adapté de books.google.com/ngrams/. Les ngrammes sont probablement peu fiables.

    Partager "miner"

    Traduction générée par IA. Pour le texte original, cliquez ici: Etymology, origin and meaning of miner

    Publicité
    Tendances
    Publicité