Es una variante de los picadores que llevan lanzetas.
picador.
(De picar).
1. m. Domador y adiestrador de caballos.
2. m. Torero de a caballo que pica con garrocha a los toros.
3. m. Tajo de cocina.
4. m. En las minas, hombre que tiene por oficio arrancar el mineral por medio del pico u otro instrumento semejante.
garrocha. (De garra).
1. f. Vara que en la extremidad tiene un hierro pequeño con un arpón para que agarre y no se desprenda.