From Index Theory to Non-commutative Geometry