Modificato tree.texi