Compacte boom van Johannes van Diën