La logique des incohérences: un modèle formel pour l'analyse de l'erreur humaine. (The logic of inconsistencies: a formal model for the analysis of human error).