Du point à l'espace. Introduction formelle à la géométrie euclidienne

Point, droite, plan, cercle, sphère, etc. sont des notions fondamentales de la géométrie euclidienne. Comment se définissent-elles ? Cette question, évidente en apparence, n'est pas triviale. Elle soulève la problématique plus générale d'une définition rigoureuse de la géométrie euclidienne. Avec les approches intuitives à la mode, la formulation d'une telle définition est une gageure. A ce titre, le présent ouvrage propose une approche formelle de la géométrie euclidienne. Il souligne du reste incidemment les faiblesses des méthodes intuitives dans la pratique et l'enseignement de cette matière.