antiguas caballerizas reales, SAN ILDEFONSO O LA GRANJA