Gianni De Michelis, morto a 78 anni