Compacte boom van Nicolaas Gerardus Mens