パウルスロクセイ(パウルス6世)

パウロロクセイの別名。