Spostata definizione di VerletIntegrator da source a header (altrimenti non funziona)