A proposito del Palasport: ma chi era Marzio Tricoli?