Réversibilité D'un Logiciel