c'était combien le prix de lancement de la DS ?