Grammalecte  Files in doc/ of 33f4564f2ff0b11d

Files in directory /doc of check-in 33f4564f2ff0b11d