They translate most of those names differently in other languages, in German, they use German puns, etc. (strangely enough, Idefix wasn't translated).