What is contrexeville Postal Code?

Postal Code of contrexeville is 88140