正式名称はformula1 grande prêmio do brasil 2008。