Machadinho
was a nickname given to the Brazilian footballer Djalma Santos, but it is also associated with the Brazilian footballer Djalma Dias, also known as Machadinho, who played for Santos FC in the 1960s.