The origin of chaos in the Solar System through computer algebraFederico Mogavero and Jacques LaskarA&A, 662 (2022) L3DOI: https://doi.org/10.1051/0004-6361/202243327