A ring as a model of the main belt in planetary ephemerides