correction bug sur opérateur NOT (merci gsu)