Topological transport, Quantum Hall Effect, Gap Labelling, Streda formula, Non-commutative topology