$PIPPIN 昔々、ピピン・コロトキという王が治めていましたが、これはピピン・ドリンニーになるでしょう。