Grammalecte  Files in doc/ of 2ae9573873ea9d58

Files in directory /doc of check-in 2ae9573873ea9d58