Quels gains réels doit-on attendre de HotSpot?