Corrector orthographic de interlingua 2.0 (Linux)