So...he says the name without ever having first heard it. However I googled it, and apparently during Attack of the Clones Dooku mentions the name to Obi-Wan, so it can be safely assumed that Obi-Wan would have told the rest of the council. I guess my actual question was more along the lines of...