/*
#
# Fonctions de gestion des chaines
#
*/

function trim(str)
{
	return str.replace(/^\s*|\s*$/g,"");
}