function change_ongllet(name){document.getElementById('ongllet_'+anc_ongllet).className='ongllet_0 ongllet';document.getElementById('ongllet_'+name).className='ongllet_1 ongllet';document.getElementById('contenu_ongllet_'+anc_ongllet).style.display='none';document.getElementById('contenu_ongllet_'+name).style.display='block';anc_ongllet=name}