Restaurante El Europeo menù, La Granja de San Ildefonso