public void keyTyped(KeyEvent evt)
        {
            // Récupère l'ancien nom dans le cas où l'utilisateur appuie sur échape
            if ((int) (evt.getKeyChar()) == 27) {
                nom.setText(oldName);
                title.setText("<html><font size=+1><b>" + nom.getText()
                        + "</b></font></html>");
            }
        }