nous bien, le livre en question est excellent, donne les bonnes intuitions, couvre
un maté- ..... la voie à l'automatisation du calcul et à la recherche d'algorithmes
efficaces. ...... k 01d?. 1 01d?. 2 ...01d? k où d? i = 0 si di = G, 1 si di = S et 2 si
di = D ; ...... Pour décider si x ? L?, on décide d'abord si x ? L puis on corrige. 
