Grammalecte  Files in doc/ of 800b3de9ea4c04fe

Files in directory /doc of check-in 800b3de9ea4c04fe