Théorème de speedup linéaire