Compacte boom van Theodorus van Gerwen Gerven