Вам может быть известно это место также под этими именами:
Jardim da Avenida da República, Jardim da Avenida da Republica