26 janv. 2016 ... algorithmes abordés au cours des cinq premières parties sont utilisés. ...... être
simplifié, et c'est ce que fait Matiyasevich dans son livre [11], où il montre ...... du
produit matriciel se traduit en revanche par une contrainte ... 
