Miner : définition, signification, synonymes et antonymes [mine]