return '$("'.addslashes($domElement).'").jstree({
"core" : {"strings":{"loading":"Chargement ..."}},
"plugins" : ["themes","json_data"],
return '$("'.addslashes($domElement).'").jstree({
"core" : {"strings":{"loading":"Chargement ..."}},
"plugins" : ["themes","json_data"],