È morto Ernesto Franco, direttore di Einaudi e scrittore