Grammalecte  Files in doc/ of bad3ec6b077fb995

Files in directory /doc of check-in bad3ec6b077fb995