function smiley(codedusmiley)
{
	window.document.form1.contenu.value += ' ' + codedusmiley + ' ';
}