/*XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
	$ raccourci d'écriture pour sélectionner un élément de la page
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX*/
function $(id) {
	return document.getElementById(id);
}

function $i(id){
	return document.images[id];
}
/* Function that trims the selected text to take out spaces or any undesired chars */
function Trim(texte){ return texte.replace(/(^\s*)|(\s*$)/g,''); }