Compacte boom van Theodorus de Man