We now make use of NTP server extracted from the DHCP answer :) ... it means no more IRIT or UT3 specific NTP servers