Compacte boom van Henricus Everardus Franciscus van Benthem