Compacte boom van Leonardus de Bruijn