correction syntaxe arbre couvrant