Pascal entre Eudoxe et Cantor