Grammaire du datamodel

**L'intérêt d'une pull request est d'initier une discussion sur un problème.**

Grammaire fausse: merci d'indiquer où.

Inutile: on définit une structure inductive. Donc si, la grammaire est utile.