inauguración de la escuela de Gredilla, GREDILLA DE SEDANO