bochín
Del occit. botchí o cat. botxí “carnicero”, “verdugo”, y este del germ. *bukko “macho cabrío”; cf. b. al. medio boc, a. al. ant. bukk, al. Bock
- m. desus. verdugo (1! persona encargada de ejecutar la pena de muerte).
Fuente: Diccionario de la RAE (23.ª ed.)