In the music, three men in summer clothes sang under the tent, singing cheerfully.