On rêve depuis les premiers moments des mathématiques de déduire le continu du discret. Qu'a-t-on réussi ? Est-ce satisfaisant ?