combien la game boy color rouge et eventuelement le okami ps2 ?