Ultime modifiche e adattamento al formalismo utilizzato
Restera' da verificare e scovare se esistono bug, facendo del testing