ajout de bouton chargement
Redirection et rafraichissement
Merge branch 'eric' of github.com:Denis1507/Sentinelles into eric
pull
Merge branch 'mathieu'
merge
Merge branch 'gui'
merge