The astronomer monk