A restaurant known as Petisqueira Pinto.