ポルクス

ポリュデウケスの別名。