Compacte boom van Gracia de David Jessurun Pinto