A priori, le problème signalé par Jean est résolu (cf. Identifiant non affiché dans le terminal - #4 par dbenaben)