Grammalecte  Files in doc/ of 3178e0923f0d4eee

Files in directory /doc of check-in 3178e0923f0d4eee