Santervás de la Sierra - Soria

Hola a la gente de Santervás!!!!

Yo soy de Santervás del Burgo, Soria, y me gustaría preguntaros si alguien sabe de donde viene Santervás,el nombre principal de vuestro pueblo y el mío...
En nuestro pueblo siempre se ha pensado que hace honor a su patrón que es San Gervasio y ha evolucionado el nombre hasta Santervás... Alguien tiene algún conocimiento al respecto? Tenéis vosotros el mismo patrón?
Un saludo paisanos!!

No lo tenemos porque nos lo quitaron y nos lo cambiaron. Pero efectivamente viene de "San Herbas" que viene de "Sant Gerbasi", del patrón, claro. ¿Nos invitas a una merendola en tu pueblo a cambio de la información o qué?

'''