Objectif du logiciel à développer

Il s'agit de faire un logiciel qui sera "un logiciel libre" donc dont le code source sera accessible à tous.
Qui prend en entrée un texte de spécification B écrit en Latex et qui donne en sortie un texte écrit en notation B ASCII.
Le choix du langage fait partie du travail.