Gran Premi de Portugal del 1993: diferència entre les revisions