Wikipedia AI summary
Antoninho
Antoninho is a nickname, a diminute for Antonio in Portuguese.
It may refer to: