Grammalecte  Files in doc/ of e56dc3b165e9ed32

Files in directory /doc of check-in e56dc3b165e9ed32