Valve a corrigé un crash dans l’Orange Box.