Compacte boom van Anton van Leeuwen