(function() {    var toc =  [{"name":"Qu'est-ce qu'un journal des opérations ?","type":"book","tilePath":"","key":"toc97"},{"name":"Afficher le journal des opérations","type":"item","tilePath":"","description":"","url":"operation_log/reference.htm"},{"name":"Exportation des journaux d'opérations","type":"item","tilePath":"","description":"","url":"operation_log/operation_log_export.htm"},{"name":"Propriétés","type":"book","tilePath":"","key":"toc98"},{"name":"Script disponible à utiliser avec les journaux d'opérations","type":"item","tilePath":"","description":"","url":"operation_log/Script_Available_for_Use_with_Operation_Logs.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();