Compacte boom van Johannes Gerardus Onstenk