Près d’un demi-million pour la boîte manuelle de la Porsche de James Dean