ماهو الرمز البريدي battenans les mines?