Grammalecte  Files in misc/ of 1d33e72e1b480197