La barre d'outils de la console Ce chapitre décrit les options de la barre d'outils accessibles à l'utilisateur.