User:Thierry Dugnolle/The whole infinite tree