English: Comparing two different definitions of the tropical year (from spring equinox to spring equinox, and time needed by the mean sun for 360° on the ecliptic) with the length of the Gregorian calendar year, allowing for the slowing-down of the Earth's rotation.