Non Commutative Geometry