Continuato a correggere e integrare la misura su varietà e aggiunto il comando per il differenziale