Compacte boom van Johannes Wilhelmus Onstenk