correction boutons rafraichir et masquer marchent enfin, plus arbo de
dossiers. Il n'y a que bouton arreter qui n'arrete pas le thread.