È morto Gianfranco Lanci, ex top manager del mondo tech