Construção do "Passeio Público" de Évora, atual Jardim Público See original record