Compacte boom van Gerard Frederik de Graaf