(function() {    var toc =  [{"name":"À propos de l'affichage de date/heure","type":"item","tilePath":"","description":"","url":"date_time_display/concept.htm"},{"name":"À propos des formats d'affichage (Affichage de date/heure)","type":"item","tilePath":"","description":"","url":"date_time_display/reference.htm"},{"name":"Exemples de configuration","type":"book","tilePath":"","key":"toc46"},{"name":"Propriétés (Affichage de date/heure)","type":"item","tilePath":"","description":"","url":"property/Properties_(Date_Time_Display).htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();