Storico esponente del Pci, è scomparso oggi a 92 anni. Il profilo di Mario Tronti