Grammalecte  Files in doc/ of edae0de03dd393d3

Files in directory /doc of check-in edae0de03dd393d3