// Traitement pour la mise a jour du chiffre de population mondiale
function majClockJS() {	xajax_majClock(); }
function addLinksJS(favType,favId,favDivers) { xajax_addLinks(favType,favId,favDivers); }