(function() {    var toc =  [{"name":"Types d'écrans","type":"item","tilePath":"","description":"","url":"screen/reference.htm"},{"name":"Relation entre la taille de l'écran et la grille","type":"item","tilePath":"","description":"","url":"screen/Relation_between_Screen_Size_And_Grid.htm"},{"name":"Opération lorsque l'animation de visibilité est configurée","type":"item","tilePath":"","description":"","url":"screen/Operation_When_Visibility_Animation_is_Set_Up.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();