Grammalecte  Files in misc/ of c796928bf613b834