Could a bit of technical 17th-century astronomy show up in the novel Don Quixote?