De sphaera, De cometis, De motu supercelestium