Originariamente inviato da 1974
Non so come si chiude questa discussione, se devo farlo io o se lo fa il moderatore.
E' sufficiente sapere che è stata risolta; se la soluzione adottata è diversa da quella proposta, meglio dirla per i posteri.

Ciao!