Grammalecte  Files in misc/ of ce851d9280e9e2b2