YES


Termination: (Ranking Functions Found)
------------
n_n_n_f1074_0_imprimer_GE___5___3___3: < < 2 -arg2 -arg3 > >
n_n_n_f1074_0_imprimer_GE___5___3___5: < < arg1 -arg2 >, < 1 -arg3 > >
n_n_n_f1074_0_imprimer_GE___5___5___1: < < 2 -arg2 -arg3 > >
n_n_n_f1074_0_imprimer_GE___5___5___2: < < arg1 -arg2 >, < 1 -arg3 >, < 2 -arg3 >, < -arg3 + arg4 > >
n_n_n_f1074_0_imprimer_GE___5___5___4: < < arg1 -arg2 >, < 1 -arg3 >, < 2 -arg3 > >
n_n_n_f1074_0_imprimer_GE___5___5___6: < < -arg3 + arg4 > >
n_n_n_f723_0_init_GE___9___7___8: < < 2 -arg2 > >
n_n_n_f873_0_init_GE___10___8___9: < < 2 -arg2 > >
n_n_n_f873_0_init_GE___11___10___10: < < 2 -arg2 > >


method 4