Grammalecte  Files in misc/ of ecd1cb358787d3c5