Quel genre de Walkman ? Et comment connaissez-vous les prix du marché noir pour celui-ci ?