- Marche avec otawa non modifie (a part le bug clp abs() et le liveness debug property)
- Tests auto OK
- Benchs papier ETAPS ok  (bonne perfs)