Ces options d'exportation permettent de copier, d'enregistrer dans un fichier et d'imprimer les messages d'état affichés ...

Ces options d'exportation permettent de copier, d'enregistrer dans un fichier et d'imprimer les messages d'état affichés dans la requête actuellement active.