Teoria e pratica nella realizzazione di quadrature: la volta prospettica di Canegrate (MI) e il Trattato di Andrea Pozzo