consiglio personale: non tener più conto di ie5.5, ma solo del 6 e del 7.

E comunque, tra 6 e 7 possono esserci NOTEVOLI differenze