Nombre extrêmement extrême : TREE(3)

SamSamLePlusPetitDesGrandsHéros

Bonjour,

Je recherche un article et/ou une publication en français sur le théorème des arbres de Kruskal, et plus particulièrement sur la fonction TREE qui a une croissance vertigineuse (en effet, TREE(3) est, semble-t-il, le plus grand des nombres finis utiles alors que TREE(1)=1 et TREE(2)=6).
Quelqu'un aurait-il un tuyau pour que je comprenne enfin à quel dénombrement cette fonction correspond ? Merci d'avance.

Samsam