Grammalecte  Files in misc/ of acd22b9ea0d707d1