Grammalecte  Files in misc/ of 05df35c3205d2118