On topic: I've always assumed ID was short for "identification" - hence, ID card=identification card, n'est pas? Would not have thought of Identification Document...


Which difference strongly suggests that "ID card" is not a redundancy the way that "PIN number" and "ATM machine" are.