Me pueden informar si uno de los alcaldes de dicho pueblo era de apellido Gallego de Villardeciervos. Un saludo. Gracias.