AntÃ nio Lima dos Santos, connu sous le nom de Lima -LRB- né le 18 janvier 1942 à SÃ # o SebastiÃ # o do ParaÃ so -RRB- est un ancien footballeur brésilien.
AntÃ nio Lima dos Santos -LRB- né le 18 janvier, 1942 -RRB- est un ancien joueur de football brésilien.