De sphaera, etc.