Grammalecte  Files in doc/ of 0ddfa9857438e52d

Files in directory /doc of check-in 0ddfa9857438e52d