Grammalecte  Files in misc/ of 1d800b72f52920f7