Modifier le code PIN utilisateur - Terminal pour code PIN

Les codes User-PINs ne sont pas modifiables dans ce mode. Si un autre User-PIN est nécessaire, créez un autre utilisateur (voir Créer un utilisateur).