リオデジャネイロ州
ペトロポリス（Petrópolis）はブラジル東南部のリオデジャネイロ州の高原上にある都市。