Compacte boom van John Irvine