Bassin de Cérès, jardins de Versailles