de Sitter-formalismo hamiltoniano covariante de Einstein gravity Gravedad de Cartan