Comme indiqué dans les commentaires ci-dessus, les packages suivants répondent à la demande : - [proof](http://texdoc.net/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf), de Makoto Tatsuta ; - [tikz-qtree](http://mirrors.ctan.org/graphics/pgf/contrib/tikz-qtree/tikz-qtree-manual.pdf), de David Chiang ; - [prooftrees](http://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/prooftrees.pdf), de Clea F. Rees ; - [proofs](http://mirrors.ctan.org/macros/generic/proofs/taylor/prooftree-doc.pdf), de Paul Tay­lor. Enfin, la bibliothèque `trees` de Ti*k*Z permet de construire de tels arbres. Comme indiqué plus haut, on trouvera [sur texample.net][1] des exemples, et on lira avec profit la partie IV, 29 du [manuel de Ti*k*Z/PGF](http://mirrors.ctan.org/graphics/pgf/base/doc/pgfmanual.pdf). [1]: http://www.texample.net/tikz/examples/decision-tree/

Comme indiqué dans les commentaires ci-dessus, les packages suivants répondent à la demande : - [proof](http://texdoc.net/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf), de Makoto Tatsuta ; - [tikz-qtree](http://mirrors.ctan.org/graphics/pgf/contrib/tikz-qtree/tikz-qtree-manual.pdf), de David Chiang ; - [prooftrees](http://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/prooftrees.pdf), de Clea F. Rees ; - [proofs](http://mirrors.ctan.org/macros/generic/proofs/taylor/prooftree-doc.pdf), de Paul Tay­lor. Enfin, la bibliothèque `trees` de Ti*k*Z permet de construire de tels arbres. Comme indiqué plus haut, on trouvera [sur texample.net][1] des exemples, et on lira avec profit la partie IV, 29 du [manuel de Ti*k*Z/PGF](http://mirrors.ctan.org/graphics/pgf/base/doc/pgfmanual.pdf). [1]: http://www.texample.net/tikz/examples/decision-tree/