Compacte boom van Hendrik Lodewijk Onstenk