Riordinamento dell'Istituto nazionale di alta matematica in Roma.