Compacte boom van Hendricus Brugman