Non-commutative geometry