Lettera di Gregorio Gallisio ad un cardinale (1717 novembre 20)