3 >'(/,''. Prealable sur le deraffinement'',/,32(''=''),/)'
4 texte(1,12) = '(/,''. Niveau courant :'',i3,/,21(''=''),/)'
6 >'(/,''. Ecart entre les niveaux'',i3,'' et'',i3,/,34(''=''),/)'
7 texte(1,15) = '(''. . rien a faire'')'
8 texte(1,21) = '(''. Pile de longueur'',i6,'' :'')'
9 texte(1,22) = '(''. . nbaret, nbare2 = '',3i2)'
11 >'(''. . arete'',i10,'', de decision'',i3,'', de mere'',i10)'
13 > '(''. '',a,i10,'', niveau'',i3,'', etat'',i5,'', decision'',i3)'
14 texte(1,30) = '(''. . ==> nouveau '',a,''('',i10,'') = '',i2,a)'
17 >'(/,''. First operation for unrefinement'',/,34(''=''),/)'
18 texte(2,12) = '(/,''. Current level :'',i3,/,21(''=''),/)'
20 >'(/,''. Shift between levels'',i3,'' and'',i3,/,32(''=''),/)'
21 texte(2,15) = '(''. . nothing to do'')'
22 texte(2,21) = '(''. Pile of length'',i6,'' :'')'
23 texte(2,22) = '(''. . nbaret, nbare2 = '',3i2)'
25 > '(''. . edge #'',i10,'', decision'',i3,'', with mother #'',i10)'
27 > '(''. '',a,i10,'', level'',i3,'', status'',i5,'', decision'',i3)'
28 texte(2,30) = '(''. . ==> new '',a,''('',i10,'') = '',i2,a)'