Gérer les options de l'utilisateur (Windows Front-End)
Pour configurer votre bureau et accéder à certaines fonctionnalités, vous pouvez avoir besoin de configurer les options de l'utilisateur.
Pour modifier les options d'un utilisateur depuis le bureau :
*Dans la barre de menus, sélectionnez Outils > Options.
La fenêtre des options de l'utilisateur apparaît.
*Pour plus de détails sur les options, voir "Gérer les options", page 353.