圣佩特里浴场。阿拉伯浴场