Debian does use [0-3].debian.pool.ntp.org as the default NTP servers, however.  Debian (and Ubuntu) also start up the NTP daemon as soon as the client is installed -- even before one has a chance to change those default servers.