Grammalecte  Files in doc/ of fa07dc2d0e19fd7b

Files in directory /doc of check-in fa07dc2d0e19fd7b