Grammalecte  Files in misc/ of 6c984d1387bdc597