Lavori di scavo presso la porta di San Tommaso: una notizia documentaria