Grammalecte  Files in misc/ of c72fda69d9c45397