GUI: amélioration des boutons and/or, la recherche est relancée à chaque
appui sur un de ces boutons. De plus, correction d'un bug dans
l'inversion lorsque l'on décoche un bouton. Avant s'il y avait décochage
d'un de ces boutons, l'autre n'était pas recoché.