The old men at the swimming-pool