Grammalecte  Files in doc/ of 10dbbc4d395fdc34

Files in directory /doc of check-in 10dbbc4d395fdc34