石渠余纪

即“熙朝纪政”。