Addio Vincenzo Cappelletti, storico direttore della Treccani