Anda mungkin juga mengenal tempat ini dengan nama berikut:
Jardim da Avenida da República, Jardim da Avenida da Republica