pas sûr que le mode thumb aille plus vite qd il est dans le cache (sinon je vois pas trop l'intérêt du mode non-thumb), je pense que c'est plutôt pour éviter que le code déborde du cache non ?