Nome persona:	Petondi, Gregorio 1732-1817
Trovato in:	WIKIPEDIA (ita, 07-05-2019) L'architettura italiana del Seicento e del Settecento / Giuseppe de Logu. Bari : Dedalo, 1993, p. 134
Dati stor. biogr.:	Architetto, nato a Castel san Pietro (Canton Ticino) e morto a Genova
	189267