Compacte boom van Leendert de Man