/* prend en paramètre l'indice de l'onglet à activer, et celui qui le précède */
function switchOnglets(ongletActiver, ongletPreactiver) {
	/* on récupère les 2 onglets actuellement allumés : l'actif, et celui qui le précède */
	var ongletActif = window.document.getElementById('actif');
	var ongletPreActif = window.document.getElementById('pre_actif');
	
	/* On cache le contenu de l'onglet actif, et on affiche le contenu de l'onglet à activer */
	switchId('onglet_actif', window.document.getElementById('onglet_actif').className);
	switchId('contenu_onglet' + ongletActiver, 'onglet_actif');
	
	/* on désactive l'allumage de l'onglet précèdent celui qui est actif */
	if (ongletPreActif != null) {
		switchId('pre_actif', ongletPreActif.className.substring(0, ongletPreActif.className.indexOf(' ')));
	}
	/* on désactive l'onglet actif*/
	if (ongletActif != null) {
		switchId('actif', ongletActif.className.substring(0, ongletActif.className.indexOf(' ')));
	}
	
	/* on active l'onglet sur lequel on vient de cliquer */
	switchId('onglet' + ongletActiver, 'actif');
	/* et on allume l'onglet précédent celui que l'on vient d'activer (à condition que l'onglet précédent existe) */
	if (ongletPreactiver > 0) {
		switchId('onglet' + ongletPreactiver, 'pre_actif');
	}
}