Grammalecte  Files in misc/ of e10237aaa2556a49