(function() {    var toc =  [{"name":"Application d'exécution","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_run-time_application.htm"},{"name":"Équipement externe","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_external_device.htm"},{"name":"Bip","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_beep.htm"},{"name":"Lancer le panneau de configuration","type":"item","tilePath":"","description":"","url":"trigger_operation/operations_launch_control_panel.htm"},{"name":"Lancer l'application","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_pc_application.htm"},{"name":"Stockage local","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_local_storage.htm"},{"name":"Gestion des fichiers","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_file_management.htm"},{"name":"Gestion de fichiers à distance","type":"item","tilePath":"","description":"","url":"trigger_operation/remote_file_management.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();