Pleonasms or Tautological Redundancies

What's it called when people say "PIN number" (Personal Identification Number number)? Or "HTTP protocol" (HyperText Transfer Protocol protocol)? You know, when they're being redundant, usually because of an acronym...

It's a tautology!