Dear Seqfans, I'd appreciate references to known bijections between full binary trees with n internal nodes and Dyck paths of length 2n. Thanks, Emeric