Implémentation de Not et tests