ajout de fonction pour la negation