private void changerCharset()
				{
					int pos = saisieChan.getText().indexOf(" ")+1;
					if(pos > 0)
					{
						String charset = saisieChan.getText().substring(pos);
						if(serv.setCharsetByName(charset))
							ecrireLigne("Charset changed to: "+serv.getCharsetName());
						else
							ecrireLigne("Unknown charset");
					}
					else
						ecrireLigne("Current charset: "+serv.getCharsetName());
					repaint();
				}