Metodi variazionali globali su vincoli non olonomi