aggiunti tipi dei parametri e dei return.
aggiornata la formattazione.