La conversion par contrainte logique.