元杂剧《逞风流王焕百花亭》的简名。见该条。