Towards non commutative algebraic topology