La musica a San Pietro in Castello, duomo di Venezia, fra XVI e XVII secolo: notizie da una fonte settecentesca