Ah ok ! tu visais les perfs du F3 !
D'après les tests théoriques, le F3 reste le plus rapide :-/
D'après les tests pratiques (démarrage de Windows, d'appli, rar, etc.), ca a plutôt tendance à être le contraire.
Dans tous les cas, ca se jour à 5% près !