Outdoor public pool at midday

Unusually quiet, even for a Saturday morning. It's the start of the August holidays, so most locals will have been busy doing last-minute shopping, packing suitcases and setting off...