<!--

/* Retirer un caractère d'une chaîne */
function _string_deleteChar(s,c)
{
	var r = "";

	var l = s.length;

	for(var j=0;j<l;j++)
	{
		if(s.charAt(j)!=c)
		{
			r += s.charAt(j);
		}
	}
	
	return r;
}

//-->