Antón, Mariano (1828-1894).
Célebre banderillero español, nacido en el Real Sitio de La Granja de San Ildefonso (Segovia) el 5 de octubre de 1828, y muerto el 27 de octubre de 1894. Fue uno de los más prestigiosos y solicitados subalternos de su época, como lo prueba el hecho de que militara en las cuadrillas de algunos diestros tan relevantes como el sevillano Antonio Sánchez (“El Tato”) y el madrileño Francisco Arjona Reyes (“Currito”), hijo del famoso lidiador de mediados del siglo XIX Francisco Arjona Herrera (“Curro Cúchares”). No obstante, el nombre de Mariano Antón quedó definitivamente grabado en la historia del escalafón de plata del toreo cuando se alistó en la cuadrilla del genial califa cordobés Rafael Molina Sánchez (“Lagartijo”), tal vez el torero más grande de todos los tiempos.