In [8], Pierre Cartier conjectured that for any non commutative formal power series Φ on X = {x0, x1} with coefficients in a Q-extension, A, subjected to some suitable conditions, there exists an unique algebra homomorphism ϕ from the Q-algebra generated by the convergent polyzêtas to A such that Φ is computed from ΦKZ Drinfel'd associator by applying ϕ to each coefficient. We prove ϕ exists and it is a free Lie exponential over X. Moreover, we give a complete description of the kernel of polyzêta and draw some consequences about a structure of the algebra of convergent polyzêtas and about the arithmetical nature of the Euler constant.