Compacte boom van Johannes Theodorus van Griensven