È morta Marina Garaventa, alla quale tutti dobbiamo molto