Compacte boom van Hermanus Nijenhuis