Grammalecte  Files in doc/ of 20dbc28ded0aefe0

Files in directory /doc of check-in 20dbc28ded0aefe0