Compacte boom van Johannes Karel Christiaan Mantz