opérateur non-et