Potager du Roi, Versailles