Variational principle and second-order time discretisation scheme.