SMS dit: Critical point theory for lagrangian systems /