Text this: Infini des philosophes, infini des astronomes/