��calaration des variables de coupure</span>
0084             eval([<span class="string">'assume(p'</span> num2str(num_cut) <span class="string">'cut('</span> num2str(zz) <span class="string">',1),''real'');'</span>])
0085             <span class="keyword">for</span> z=1:3
0086                 eval([<span class="string">'assume(R'</span> num2str(num_cut) <span class="string">'cut('</span> num2str(zz) <span class="string">','</span> num2str(z) <span class="string">'),''real'');'</span>])
0087             <sp