artificial hot baths, much used by the Romans.