riduzione formale_Fabio Petrassi