Vers un modèle formel pour le raisonnement à partir des contextes.