Mercado da Avenida Lagos; Mercado da Avenida