Hammam Sancti Petri. Bains arabes.