Grammalecte  Files in misc/ of e537d819dcdc644f