Grammalecte  Files in doc/ of 0b14dcdc9ea3d10f

Files in directory /doc of check-in 0b14dcdc9ea3d10f