Armandinho (footballer)
Armando "Armandinho" dos Santos (June 3, 1911 in São Carlos – May 26, 1972 in Santos), commonly known as Armandinho was a Brazilian football player. He played for the Brazil national team.