SVGHMI: Add list of HMI tree path in a JS array, so that we can use it for multiple purpose :
svghmi
2021-03-26, Edouard Tisserant