Considerations theoriques a propos du traitement formel du langage