Grammalecte  Files in misc/ of e778dbe9803eaa8d