Pilar Escudero González (1930-2018)