Matrons, A∞-bialgebras and the Polytopes Kk