Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles).