barretín (sustantivo masculino): Aparato para extraer clavos.