// JavaScript Document

// pour ouvrir un lien dans une autre page :
function lien_externe(lien){
	window.location=lien;
}