Datamodel

* Corrige quelques erreurs.
* Ajoute une grammaire du datamodel. Cela permet d'avoir une vue global.

Je ne suis pas d'accord avec "the trees `( a, b, c ∩ d)` and `( a, b, c) ∧ ( a, b, d)` have the same meaning".
Par exemple, `( France, president, François Hollande) ∧ ( France, president, Nicolas Sarkozy)` est vrai, alors que `( France, president, François Hollande ∩ Nicolas Sarkozy)` est faux.