Grammalecte  Files in doc/ of 7260392d1dddf7d2

Files in directory /doc of check-in 7260392d1dddf7d2