/** Script permettant de rendre compatible votre navigateur avec la fonction getElementById.
	*	Pour les navigateurs qui ne supportent pas cette fonction, on la crée. 
	* Celle-ci est donc utilisable quelque soit le navigateur, ce qui simplifie la programmation de script.
	* From: http://www.editeurjavascript.com/scripts/scripts_autres_3_547.php
	*/
	if(!document.getElementById) {
		if(document.all) {
			document.getElementById = function() {
				if(typeof document.all[arguments[0]]!="undefined")
				{
					return document.all[arguments[0]]
				} else {
					return null
				}
			}
		} else if(document.layers) {
			document.getElementById=function() {
				if(typeof document[arguments[0]]!="undefined"){return document[arguments[0]]}else{return null}
			}
		}
	}