A banda do regimento 17 de infanteria tocou, desde as sete e meia horas da tarde até ás dez, na praça de D. Manoel.