#9: simplification de la gestion des filtres
Merge branch 'master' into new-gui