PEDRO RUIZ: gentilicio de los vecinos