barretero
- m. Ingen. En minería, hombre que trabaja con barreta, cuña o pico. barretina. (De barreta2). f. gorro catalán.
Fuente: Diccionario de la RAE (23.ª ed.)
Diccionario
Definiciones, acepciones y etimología. También funciona con formas conjugadas y plurales.