Konungen ligger i podager i St. Ildefonse.