function change_ongleet(name){document.getElementById('ongleet_'+anc_ongleet).className='ongleet_0 ongleet';document.getElementById('ongleet_'+name).className='ongleet_1 ongleet';document.getElementById('contenu_ongleet_'+anc_ongleet).style.display='none';document.getElementById('contenu_ongleet_'+name).style.display='block';anc_ongleet=name}