Définitionsfonction logique