Grammalecte  Files in doc/ of e0ce6b10d774d48a

Files in directory /doc of check-in e0ce6b10d774d48a