New to this third edition is a chapter dealing with a simple and great idea of Leibniz that allows us to characterize, for these same spaces X, hyperplanes of euclidean, hyperbolic geometry, or spherical geometry, the geometries of Lorentz-Minkowski and de Sitter, and this through finite or infinite dimensions greater than 1.