Grammalecte  Files in doc/ of a835df567d36bd6d

Files in directory /doc of check-in a835df567d36bd6d