Grammalecte  Files in misc/ of fc68092e827b8d86