Non-commutative geometry, trace formula and Bloch's conductor formula