migliorata definizione operatori
migliorato header