Compacte boom van Gerardus Laverman