mineros (de las minas de minerales y metales), canteros, caleros, obreros de las