  We present a survey of the application of Cones' Non-Commutative Geometry to
gravitation. Bases of the theory and Euclidian gravity models are reviewed.
Then we discuss the problem of a Lorentzian generalization of the theory and
review existing attempts of solution.
