Tout commence, 300 ans avant notre ère, avec Euclide, personnage aussi mystérieux que fondamental. Dans ses fameux Éléments qui, jusqu'à une époque récente, constitueront le socle des mathématiques modernes, Euclide y énonce un certain nombre d'axiomes, dont un plus «costaud» que les autres : «Par un point du plan pris hors d'une droite, il passe dans ce plan exactement une parallèle à cette droite.» Or, cet axiome sonne plutôt comme un théorème, et un théorème, pour