I have been consulted on this issue after a person in charge pointed out that the leading zeros of zip codes had disappeared ...