Riordinamento dell'Istituto nazionale di alta matematica Francesco Severi.