// JavaScript Document

<!-- liens externes -->
	
	 function open_ext_link() {
	  var liens = document.getElementsByTagName('a');
	  for (var i = 0 ; i <liens.length ; ++i)  {
		  if (liens[i].rel == 'external')  {
			  liens[i].onclick = function()  {
				  window.open(this.href);
				  return false;
				};
			  }
		  }
	  }
      window.onload = function () {
          open_ext_link();
      };