getServOpt - Que spécifie le paramètre HISTORYLINELENGTH ?