ポルックス

ポリュデウケスの別名。