Grammalecte  Files in doc/ of 3ae2835bab8fbd1e

Files in directory /doc of check-in 3ae2835bab8fbd1e