satisfiabilité

nom féminin