An astronomer called Cervantes