Compacte boom van David Grotendiek