Nome do dia 09/11

Hoje temos mais um nome começado pela letra E. Partilho então o nome feminino Erotilde que surgiu nos registos da cidade do Porto. Já conhecia este nome?