芸亭院(うんていいん)ともいう。