Grammalecte  Files in misc/ of ea4784f1e1dd2e3e