ProjetPP/Papers — pull request #58 by Ezibenroc (2014-12-19 08:59:05+00:00)
Title: 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.