Inserite precondizioni e postcondizioni ai metodi dei package
gestioneModello e gestioneDati