Compacte boom van Petrus Wilhelmus Onstenk