Grammalecte  Files in doc/ of 85d2c18b0ed858ae

Files in directory /doc of check-in 85d2c18b0ed858ae