Title: Une formalisation partielle de la théorie des modèles mentaux