//Fonctions utiles en Javascript

//Redirection javascript vers une url en paramètre
function redirection(url){
    document.location.href=url;
}

function verif_numeric(variable){
			var exp=new RegExp("^[0-9]+$");
			return exp.test(variable);
}