Grammalecte  Files in doc/ of 3ebde2f15fbd498d

Files in directory /doc of check-in 3ebde2f15fbd498d