An implicit symplectic solver for high-precision long-term integrations of the Solar System | Publicación