銭湯でお風呂から上がった後、縁側に座って涼む場所のことを何と呼ぶか。

脱衣所の横に小さな庭(坪庭)があり、そこで涼むことができる銭湯もある。