Hot springs of el Hammi, one of pools and baths