Riordinamento dell'Istituto nazionale di alta matematica.