Corrige #285 pour le menu toujours déplié. A noter que non seulement la...

Corrige #285 pour le menu toujours déplié. A noter que non seulement la concaténation est beaucoup plus chère que la disjonction mais qu'en plus elle ne rend pas le meme resultat booléen: x  . y  n'est pas logiquement egal à x||y.