Le Pentium 4 pourrait franchir la barre des 10 Ghz en 2004