Grammalecte  Files in doc/ of 0e3d53de1d62881e

Files in directory /doc of check-in 0e3d53de1d62881e