Astronomiae cometicae synopsis — work by Halley