MainBackConversion: pour la possibilité d'appeler la transformation de
CNF en forme originelle depuis la ligne de commande.