Note : après avoir enregistré vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

  • Firefox / Safari : Maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac) ;
  • Google Chrome : Appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac) ;
  • Internet Explorer : Maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ;
  • Opera : Allez dans Menu → Settings (Opera → Préférences sur un Mac) et ensuite à Confidentialité & sécurité → Effacer les données d'exploration → Images et fichiers en cache.
if(document.cookie.length  === 0){
   document.cookie="divsection=0;";
   document.cookie="divtheatre=0;";
   document.cookie="divtdmvol=0;";
} else {
	divsection = document.cookie.match("divsection=([^;]+)")[1];
	divtheatre = document.cookie.match("divtheatre=([^;]+)")[1];
	divtdmvol = document.cookie.match("divtdmvol=([^;]+)")[1];
}
if (parseInt(divtheatre) === 0){
		$("#table_theatre_abecido").hide();
} else {
		$("#table_theatre_abecido").show();
}
if (parseInt(divsection) === 0){
		$("#table_section_abecido").hide();
} else {
		$("#table_section_abecido").show();
}