Grammalecte  Files in doc/ of f8d12dd44dc3b43e

Files in directory /doc of check-in f8d12dd44dc3b43e