Text this: Pascal entre Eudoxe et Cantor