Grammalecte  Files in doc/ of e0f39d31ba5d3a7b

Files in directory /doc of check-in e0f39d31ba5d3a7b