Grammalecte  Files in doc/ of aadffe77deeb6d33

Files in directory /doc of check-in aadffe77deeb6d33