Grammalecte  Files in doc/ of 0531cae0d49b0a2e

Files in directory /doc of check-in 0531cae0d49b0a2e