<header>KDC</header> Le nom de la machine KDC du realm, avec un numéro de port optionnel.<br> Il est utilisé seulement si les informations concernant le KDC ne sont pas disponibles depuis le DNS. <hr>