Compacte boom van Everhardus Franciscus van Benthem