そういえば“プル”って、フルネームは“エルピー=プル”だからファストネームは“エルピー”なんだよね。ジュドーも最初はそう呼んでいた。いつのまにかプルに落ち着いたよな。
まあ、それは呼び方の問題だけど、プルツー以降プルトゥエルブまで、それ、ファミリーネームじゃん！って言う。