NTP server

Hello,
If I want to set clock from internet time server (NTP), only IP adresses are accepted. I can't use for exemple "ntp1.jussieu.fr" whitch is a valid ntp server. Could it be an upgrade for next version ?
Thanks ;-)
If I want to set clock from internet time server (NTP), only IP adresses are accepted. I can't use for exemple "ntp1.jussieu.fr" whitch is a valid ntp server. Could it be an upgrade for next version ?
Thanks ;-)