Os 6 brasileiros que jogaram por Portugal (Otávio pode ser o 7.º)