Critical Point Theory for Lagrangian Systems | EKB DL