El nombre de la localidad, Villarmienzo, procedería, según el Pr.