Grammalecte  Files in doc/ of 9ee2bd6608ed5c18

Files in directory /doc of check-in 9ee2bd6608ed5c18