Introduction to non commutative differential geometry