Nouvel éditeur de scripts

L'éditeur de script évolue pour renforcer la fiabilité du code et améliorer le confort d’utilisation.  

• Il devient un vrai éditeur (complétion, recherche, formatage ...)

• Les fonctions noyau sont complétées en appuyant sur les touches "Ctrl espace"; la documentation associée est affichée en tooltip. 

• Il est maintenant possible de copier/coller les exemples fournis dans l'aide.