Grammalecte  Files in misc/ of 72f63bddd22d08a2