Efemérides: Elvira Bootello Miralles (1924-2018)