Compacte boom van Wilhelmus Hendrikus de Bruijn