properads

In particular, this shows that the Grothendieck-Teichm\"uller group acts faithfully (and essentially transitively) on the completions of the properads governing even Lie bialgebras and involutive Lie bialgebras, up to homotopy.