%PDF-1.4
%
1 0 obj
<< /Metadata 3 0 R /Names 4 0 R /OpenAction 5 0 R /Outlines 6 0 R /OutputIntents [ << /DestOutputProfile 7 0 R /Info (sRGB IEC61966-2.1) /OutputConditionIdentifier (sRGB IEC61966-2.1) /S /GTS_PDFA1 /Type /OutputIntent >> ] /PageLayout /OneColumn /PageMode /UseOutlines /Pages 8 0 R /Type /Catalog >>
endobj
2 0 obj
<< /CreationDate (D:20121024065418+02'00') /Creator (pdfTeX) /GTS_PDFA1Version (PDF/A-1b:2005) /ModDate (D:20121024065418+02'00') /PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-1.40.10-2.2 \(TeX Live 2009/Debian\) kpathsea version 5.0.0) /Producer (pdfTeX) /Trapped /False >>
endobj
3 0 obj
<< /Subtype /XML /Type /Metadata /Length 1473 >>
stream
pdfTeX
application/pdf
journal
1
B
pdfTeX
True
2012-10-24T06:54:18+02:00
2012-10-24T06:54:18+02:00
2012-10-24T06:54:18+02:00
endstream
endobj
4 0 obj
<< /Dests 9 0 R >>
endobj
5 0 obj
<< /D [ 10 0 R /Fit ] /S /GoTo >>
endobj
6 0 obj
<< /Count 19 /First 11 0 R /Last 12 0 R /Type /Outlines >>
endobj
7 0 obj
<< /Filter /FlateDecode /N 4 /Length 2572 >>
stream
xڵVgTS=BK@:K DtQ IPP#*8"ȨJAED
T 2
w#?t[z:8 $@#C y2bb j@-6''7[LlqȖ|O^Hr\^]+QރrzbDo@p3\ Tߚ-"I!&]Gc砼ziY""])bIڗ-y"i.Yz~:'K((wरr7i|L+Fb:ӥ!yw Y0w^H', Y@*@#8wA `9
2TZ A8:@78.k&F`!*DT -H2!
@p(J!$
MP TUCuP#+t:](4>Ll [,#ep2
p\5,3@Ȉ0⅄ qH"D"H%R ]H?r /a`g?&dcbc1G1>-(fKŪcMN l6-Vbc۰ww8N gsbqոV\n7*xS>ƋEcs!8L"X| qa#D8K"LfrD}1%$]q,IdHr!ERIHUEC2Cv$*qe(#EbBSĔ#}*j@uQEFcLWfLL̐KYrU'eoȾ#yɱȝ[ɇgoo"?W0PQ**R0FCh4/@H z*}>hXxFQ(((+*Pi,Z^YM]\ܪ|G
CG%MeJ#UjjՋ/jjbjaupԯhhjidiոBSI]3UBMUUuNCHgT1b:YCH::tI,$
^i=-`fD}~~[:&
W6>4e6ӌ4MLRLjLn¦|fX3G3Y0`2J7wгio2ݲrJ*jUkkkum:NW<hvv[z;[9PveG:nǏNN"N93Ӝ'.-lX8vs2\\JܴnnOuݹ'<=R=yzyrZxy{(DTKw//pY+U/?Bv{lBtBSgv=/qyuVpx.rDKRydKʔ|/~5Ujm#isA/S33?s04(K픽;{Z$<,HY<[!/*d| JVN]jj
k<ԭ&]pzG76m}o7Eo*(\_8ossLhxڭl[|IJv?YTpe;v-/_U>+xW{TV!T-ܫl;55m~?w-%ޫk7<;{iCTCϬ.9hѾF&fY|EѿSu}:fzoTykw&tw?|8SټU_t}
p.cnobw_KbEaLKɐ̧$c3 k(B?? CaJ
ߵz X3^OyG0~3Q< =36s~gEZ)'O(`K+bƜL/0cX[Z:dc=)
ꝱͽ1 _ҹٺ/h/ z
?endstream
endobj
8 0 obj
<< /Count 228 /Kids [ 13 0 R 14 0 R ] /Type /Pages >>
endobj
9 0 obj
<< /Kids [ 15 0 R 16 0 R ] /Limits [ (ALC@unique.1) (theorem.7.9) ] >>
endobj
10 0 obj
<< /Contents 17 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 19 0 R /Type /Page >>
endobj
11 0 obj
<< /A 20 0 R /Next 21 0 R /Parent 6 0 R /Title (Contents) >>
endobj
12 0 obj
<< /A 22 0 R /Parent 6 0 R /Prev 23 0 R /Title (Abstract) >>
endobj
13 0 obj
<< /Count 216 /Kids [ 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R ] /Parent 8 0 R /Type /Pages >>
endobj
14 0 obj
<< /Count 12 /Kids [ 30 0 R ] /Parent 8 0 R /Type /Pages >>
endobj
15 0 obj
<< /Kids [ 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R ] /Limits [ (ALC@unique.1) (lstnumber.-82.1) ] >>
endobj
16 0 obj
<< /Kids [ 37 0 R 38 0 R 39 0 R ] /Limits [ (lstnumber.-82.2) (theorem.7.9) ] >>
endobj
17 0 obj
<< /Filter /FlateDecode /Length 1359 >>
stream
xWKo6ZbIǨa@[ ұZ.;CRkIQڴ@lRpy.# #oWoի(r@y+%͘![Kra9A<1nT- nOvۺu*LNqUb
&5[Qj
\my}}y_M"Ӱ'on.Z!\Q@[NDK3E$盦BM6KvW7=ZҖƥ'qzlIOrj )i.t ,!l6iڢoJPdGT'ޗ-;5mQUhNUv;sC-͛hUB4h 25v}
asD31mR%ςPjlҗui]h4|f.Z`_u`v Y>b0~^ 2HEugxG:d\+z\+kLz; f?@An+XK'}1FFm0{,0Lj+\DC qF !ClF")0RBz
LMRMC4AР\#|V]ukLb5g:CLVonW
NDnYffD?O+5ikE8|0%,i!H:L6;I(80U*4,hI`hiY=x?p><@ hp7F!:*b*)0*R'q7[D LB|dN&}G/Ə\=(Tk_eӋ<es} zϪ_ #'?Q!5KR{>\ț/ÕXC8@8\\e!3wE~ @Hf##ʍX|LQ*zSlۢF~lXe*Ez1VPB`IlNI<;ox a*
ܾw;-|ݰlzTg.ym6 29R:sRxi9w16Rlvx&?id.|<`V
m[v̋T9Tr
ua60.&
\וB$Z >bB;aiv{߆.6Q.e(zWlU20\IOɎ=-b33O>cs+uv\=n N"U7v2H@ /FI*z iVi>ejɯ x1}~1BHoendstream
endobj
18 0 obj
<< /Count 6 /Kids [ 10 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
19 0 obj
<< /ColorSpace 45 0 R /ExtGState 46 0 R /Font << /F16 47 0 R /F19 48 0 R /F27 49 0 R /F45 50 0 R /F46 51 0 R /F48 52 0 R /F73 53 0 R >> /Pattern 54 0 R /ProcSet [ /PDF /Text ] >>
endobj
20 0 obj
<< /D (regbm:1) /S /GoTo >>
endobj
21 0 obj
<< /A 55 0 R /Next 56 0 R /Parent 6 0 R /Prev 11 0 R /Title (Remerciements) >>
endobj
22 0 obj
<< /D (regbm:2) /S /GoTo >>
endobj
23 0 obj
<< /A 57 0 R /Next 12 0 R /Parent 6 0 R /Prev 58 0 R /Title (Bibliography) >>
endobj
24 0 obj
<< /Count 36 /Kids [ 18 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
25 0 obj
<< /Count 36 /Kids [ 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
26 0 obj
<< /Count 36 /Kids [ 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
27 0 obj
<< /Count 36 /Kids [ 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
28 0 obj
<< /Count 36 /Kids [ 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
29 0 obj
<< /Count 36 /Kids [ 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R ] /Parent 13 0 R /Type /Pages >>
endobj
30 0 obj
<< /Count 12 /Kids [ 94 0 R 95 0 R ] /Parent 14 0 R /Type /Pages >>
endobj
31 0 obj
<< /Kids [ 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R ] /Limits [ (ALC@unique.1) (cite.0@Delahaye2000) ] >>
endobj
32 0 obj
<< /Kids [ 102 0 R 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R ] /Limits [ (cite.0@DiLizia) (equation.5.2.22) ] >>
endobj
33 0 obj
<< /Kids [ 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R ] /Limits [ (equation.5.2.23) (lstlisting.4.-83) ] >>
endobj
34 0 obj
<< /Kids [ 114 0 R 115 0 R 116 0 R 117 0 R 118 0 R 119 0 R ] /Limits [ (lstlisting.5.-100) (lstnumber.-119.20) ] >>
endobj
35 0 obj
<< /Kids [ 120 0 R 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R ] /Limits [ (lstnumber.-119.3) (lstnumber.-28.5) ] >>
endobj
36 0 obj
<< /Kids [ 126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R ] /Limits [ (lstnumber.-29.1) (lstnumber.-82.1) ] >>
endobj
37 0 obj
<< /Kids [ 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R ] /Limits [ (lstnumber.-82.2) (page.201) ] >>
endobj
38 0 obj
<< /Kids [ 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R ] /Limits [ (page.202) (section*.36) ] >>
endobj
39 0 obj
<< /Kids [ 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R ] /Limits [ (section*.37) (theorem.7.9) ] >>
endobj
40 0 obj
<< /Contents 149 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 150 0 R /Type /Page >>
endobj
41 0 obj
<< /Annots [ 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R ] /Contents 182 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 183 0 R /Type /Page >>
endobj
42 0 obj
<< /Annots [ 184 0 R 185 0 R 186 0 R 187 0 R 188 0 R 189 0 R 190 0 R 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R 207 0 R 208 0 R 209 0 R 210 0 R 211 0 R 212 0 R 213 0 R 214 0 R 215 0 R 216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R 230 0 R 231 0 R 232 0 R ] /Contents 233 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 234 0 R /Type /Page >>
endobj
43 0 obj
<< /Annots [ 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R 241 0 R 242 0 R 243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R 250 0 R 251 0 R 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R 258 0 R 259 0 R ] /Contents 260 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 261 0 R /Type /Page >>
endobj
44 0 obj
<< /Contents 262 0 R /MediaBox [ 0 0 595.276 841.89 ] /Parent 18 0 R /Resources 263 0 R /Type /Page >>
endobj
45 0 obj
<< /pgfprgb [ /Pattern /DeviceRGB ] >>
endobj
46 0 obj
<< >>
endobj
47 0 obj
<< /BaseFont /TERTGW+LMRoman10-Regular /Encoding 264 0 R /FirstChar 16 /FontDescriptor 265 0 R /LastChar 252 /Subtype /Type1 /ToUnicode 266 0 R /Type /Font /Widths 267 0 R >>
endobj
48 0 obj
<< /BaseFont /UOFKWF+LMRoman9-Regular /Encoding 264 0 R /FirstChar 16 /FontDescriptor 268 0 R /LastChar 251 /Subtype /Type1 /ToUnicode 269 0 R /Type /Font /Widths 270 0 R >>
endobj
49 0 obj
<< /BaseFont /ZUHESK+LMMathSymbols6-Regular /Encoding 271 0 R /FirstChar 14 /FontDescriptor 272 0 R /LastChar 48 /Subtype /Type1 /ToUnicode 273 0 R /Type /Font /Widths 274 0 R >>
endobj
50 0 obj
<< /BaseFont /XDVVKZ+LMRoman12-Regular /Encoding 264 0 R /FirstChar 39 /FontDescriptor 275 0 R /LastChar 233 /Subtype /Type1 /ToUnicode 276 0 R /Type /Font /Widths 277 0 R >>
endobj
51 0 obj
<< /BaseFont /JVYWOV+LMRomanCaps10-Regular /Encoding 264 0 R /FirstChar 45 /FontDescriptor 278 0 R /LastChar 233 /Subtype /Type1 /ToUnicode 279 0 R /Type /Font /Widths 280 0 R >>
endobj
52 0 obj
<< /BaseFont /ZJSRYW+LMRoman12-Italic /Encoding 264 0 R /FirstChar 39 /FontDescriptor 281 0 R /LastChar 233 /Subtype /Type1 /ToUnicode 282 0 R /Type /Font /Widths 283 0 R >>
endobj
53 0 obj
<< /BaseFont /PKAXFJ+LMRoman12-Bold /Encoding 264 0 R /FirstChar 21 /FontDescriptor 284 0 R /LastChar 233 /Subtype /Type1 /ToUnicode 285 0 R /Type /Font /Widths 286 0 R >>
endobj
54 0 obj
<< >>
endobj
55 0 obj
<< /D (section*.3) /S /GoTo >>
endobj
56 0 obj
<< /A 287 0 R /Next 288 0 R /Parent 6 0 R /Prev 21 0 R /Title (1 Introduction) >>
endobj
57 0 obj
<< /D (section*.96) /S /GoTo >>
endobj
58 0 obj
<< /A 289 0 R /Next 23 0 R /Parent 6 0 R /Prev 290 0 R /Title (Index) >>
endobj
59 0 obj
<< /Count 6 /Kids [ 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
60 0 obj
<< /Count 6 /Kids [ 297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
61 0 obj
<< /Count 6 /Kids [ 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R 308 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
62 0 obj
<< /Count 6 /Kids [ 309 0 R 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
63 0 obj
<< /Count 6 /Kids [ 315 0 R 316 0 R 317 0 R 318 0 R 319 0 R 320 0 R ] /Parent 24 0 R /Type /Pages >>
endobj
64 0 obj
<< /Count 6 /Kids [ 321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
65 0 obj
<< /Count 6 /Kids [ 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R 332 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
66 0 obj
<< /Count 6 /Kids [ 333 0 R 334 0 R 335 0 R 336 0 R 337 0 R 338 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
67 0 obj
<< /Count 6 /Kids [ 339 0 R 340 0 R 341 0 R 342 0 R 343 0 R 344 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
68 0 obj
<< /Count 6 /Kids [ 345 0 R 346 0 R 347 0 R 348 0 R 349 0 R 350 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
69 0 obj
<< /Count 6 /Kids [ 351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R ] /Parent 25 0 R /Type /Pages >>
endobj
70 0 obj
<< /Count 6 /Kids [ 357 0 R 358 0 R 359 0 R 360 0 R 361 0 R 362 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
71 0 obj
<< /Count 6 /Kids [ 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
72 0 obj
<< /Count 6 /Kids [ 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
73 0 obj
<< /Count 6 /Kids [ 375 0 R 376 0 R 377 0 R 378 0 R 379 0 R 380 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
74 0 obj
<< /Count 6 /Kids [ 381 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
75 0 obj
<< /Count 6 /Kids [ 387 0 R 388 0 R 389 0 R 390 0 R 391 0 R 392 0 R ] /Parent 26 0 R /Type /Pages >>
endobj
76 0 obj
<< /Count 6 /Kids [ 393 0 R 394 0 R 395 0 R 396 0 R 397 0 R 398 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
77 0 obj
<< /Count 6 /Kids [ 399 0 R 400 0 R 401 0 R 402 0 R 403 0 R 404 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
78 0 obj
<< /Count 6 /Kids [ 405 0 R 406 0 R 407 0 R 408 0 R 409 0 R 410 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
79 0 obj
<< /Count 6 /Kids [ 411 0 R 412 0 R 413 0 R 414 0 R 415 0 R 416 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
80 0 obj
<< /Count 6 /Kids [ 417 0 R 418 0 R 419 0 R 420 0 R 421 0 R 422 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
81 0 obj
<< /Count 6 /Kids [ 423 0 R 424 0 R 425 0 R 426 0 R 427 0 R 428 0 R ] /Parent 27 0 R /Type /Pages >>
endobj
82 0 obj
<< /Count 6 /Kids [ 429 0 R 430 0 R 431 0 R 432 0 R 433 0 R 434 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
83 0 obj
<< /Count 6 /Kids [ 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R 440 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
84 0 obj
<< /Count 6 /Kids [ 441 0 R 442 0 R 443 0 R 444 0 R 445 0 R 446 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
85 0 obj
<< /Count 6 /Kids [ 447 0 R 448 0 R 449 0 R 450 0 R 451 0 R 452 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
86 0 obj
<< /Count 6 /Kids [ 453 0 R 454 0 R 455 0 R 456 0 R 457 0 R 458 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
87 0 obj
<< /Count 6 /Kids [ 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R ] /Parent 28 0 R /Type /Pages >>
endobj
88 0 obj
<< /Count 6 /Kids [ 465 0 R 466 0 R 467 0 R 468 0 R 469 0 R 470 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
89 0 obj
<< /Count 6 /Kids [ 471 0 R 472 0 R 473 0 R 474 0 R 475 0 R 476 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
90 0 obj
<< /Count 6 /Kids [ 477 0 R 478 0 R 479 0 R 480 0 R 481 0 R 482 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
91 0 obj
<< /Count 6 /Kids [ 483 0 R 484 0 R 485 0 R 486 0 R 487 0 R 488 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
92 0 obj
<< /Count 6 /Kids [ 489 0 R 490 0 R 491 0 R 492 0 R 493 0 R 494 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
93 0 obj
<< /Count 6 /Kids [ 495 0 R 496 0 R 497 0 R 498 0 R 499 0 R 500 0 R ] /Parent 29 0 R /Type /Pages >>
endobj
94 0 obj
<< /Count 6 /Kids [ 501 0 R 502 0 R 503 0 R 504 0 R 505 0 R 506 0 R ] /Parent 30 0 R /Type /Pages >>
endobj
95 0 obj
<< /Count 6 /Kids [ 507 0 R 508 0 R 509 0 R 510 0 R 511 0 R 512 0 R ] /Parent 30 0 R /Type /Pages >>
endobj
96 0 obj
<< /Kids [ 513 0 R 514 0 R 515 0 R 516 0 R 517 0 R 518 0 R ] /Limits [ (ALC@unique.1) (AlgoLine10.8) ] >>
endobj
97 0 obj
<< /Kids [ 519 0 R 520 0 R 521 0 R 522 0 R 523 0 R 524 0 R ] /Limits [ (AlgoLine10.9) (AlgoLine4.2) ] >>
endobj
98 0 obj
<< /Kids [ 525 0 R 526 0 R 527 0 R 528 0 R 529 0 R 530 0 R ] /Limits [ (AlgoLine4.3) (Item.13) ] >>
endobj
99 0 obj
<< /Kids [ 531 0 R 532 0 R 533 0 R 534 0 R 535 0 R 536 0 R ] /Limits [ (Item.14) (algocfline.21) ] >>
endobj
100 0 obj
<< /Kids [ 537 0 R 538 0 R 539 0 R 540 0 R 541 0 R 542 0 R ] /Limits [ (algocfline.3) (cite.0@BolDau2004) ] >>
endobj
101 0 obj
<< /Kids [ 543 0 R 544 0 R 545 0 R 546 0 R 547 0 R 548 0 R ] /Limits [ (cite.0@BolMel08) (cite.0@Delahaye2000) ] >>
endobj
102 0 obj
<< /Kids [ 549 0 R 550 0 R 551 0 R 552 0 R 553 0 R 554 0 R ] /Limits [ (cite.0@DiLizia) (cite.0@JeannerodLouvetMullerPanhaleux2010) ] >>
endobj
103 0 obj
<< /Kids [ 555 0 R 556 0 R 557 0 R 558 0 R 559 0 R 560 0 R ] /Limits [ (cite.0@Kahan1965) (cite.0@NFM2012) ] >>
endobj
104 0 obj
<< /Kids [ 561 0 R 562 0 R 563 0 R 564 0 R 565 0 R 566 0 R ] /Limits [ (cite.0@NativeCompute) (cite.0@VmCompute) ] >>
endobj
105 0 obj
<< /Kids [ 567 0 R 568 0 R 569 0 R 570 0 R 571 0 R 572 0 R ] /Limits [ (cite.0@Wiedijk2006) (definition.7.13) ] >>
endobj
106 0 obj
<< /Kids [ 573 0 R 574 0 R 575 0 R 576 0 R 577 0 R 578 0 R ] /Limits [ (definition.7.14) (equation.2.4.20) ] >>
endobj
107 0 obj
<< /Kids [ 579 0 R 580 0 R 581 0 R 582 0 R 583 0 R 584 0 R ] /Limits [ (equation.2.4.21) (equation.5.2.22) ] >>
endobj
108 0 obj
<< /Kids [ 585 0 R 586 0 R 587 0 R 588 0 R 589 0 R 590 0 R ] /Limits [ (equation.5.2.23) (equation.5.4.37f) ] >>
endobj
109 0 obj
<< /Kids [ 591 0 R 592 0 R 593 0 R 594 0 R 595 0 R 596 0 R ] /Limits [ (equation.5.4.37g) (equation.7.2.8) ] >>
endobj
110 0 obj
<< /Kids [ 597 0 R 598 0 R 599 0 R 600 0 R 601 0 R 602 0 R ] /Limits [ (equation.7.2.9) (equation.7.3.57) ] >>
endobj
111 0 obj
<< /Kids [ 603 0 R 604 0 R 605 0 R 606 0 R 607 0 R 608 0 R ] /Limits [ (equation.7.3.58) (lstlisting.3.-19) ] >>
endobj
112 0 obj
<< /Kids [ 609 0 R 610 0 R 611 0 R 612 0 R 613 0 R 614 0 R ] /Limits [ (lstlisting.3.-2) (lstlisting.3.-51) ] >>
endobj
113 0 obj
<< /Kids [ 615 0 R 616 0 R 617 0 R 618 0 R 619 0 R 620 0 R ] /Limits [ (lstlisting.3.-52) (lstlisting.4.-83) ] >>
endobj
114 0 obj
<< /Kids [ 621 0 R 622 0 R 623 0 R 624 0 R 625 0 R 626 0 R ] /Limits [ (lstlisting.5.-100) (lstlisting.5.-135) ] >>
endobj
115 0 obj
<< /Kids [ 627 0 R 628 0 R 629 0 R 630 0 R 631 0 R 632 0 R ] /Limits [ (lstlisting.5.-136) (lstnumber.-1.5) ] >>
endobj
116 0 obj
<< /Kids [ 633 0 R 634 0 R 635 0 R 636 0 R 637 0 R 638 0 R ] /Limits [ (lstnumber.-1.6) (lstnumber.-104.8) ] >>
endobj
117 0 obj
<< /Kids [ 639 0 R 640 0 R 641 0 R 642 0 R 643 0 R 644 0 R ] /Limits [ (lstnumber.-104.9) (lstnumber.-113.1) ] >>
endobj
118 0 obj
<< /Kids [ 645 0 R 646 0 R 647 0 R 648 0 R 649 0 R 650 0 R ] /Limits [ (lstnumber.-113.2) (lstnumber.-117.4) ] >>
endobj
119 0 obj
<< /Kids [ 651 0 R 652 0 R 653 0 R 654 0 R 655 0 R 656 0 R ] /Limits [ (lstnumber.-117.5) (lstnumber.-119.20) ] >>
endobj
120 0 obj
<< /Kids [ 657 0 R 658 0 R 659 0 R 660 0 R 661 0 R 662 0 R ] /Limits [ (lstnumber.-119.3) (lstnumber.-124.2) ] >>
endobj
121 0 obj
<< /Kids [ 663 0 R 664 0 R 665 0 R 666 0 R 667 0 R 668 0 R ] /Limits [ (lstnumber.-124.3) (lstnumber.-126.2) ] >>
endobj
122 0 obj
<< /Kids [ 669 0 R 670 0 R 671 0 R 672 0 R 673 0 R 674 0 R ] /Limits [ (lstnumber.-126.3) (lstnumber.-130.3) ] >>
endobj
123 0 obj
<< /Kids [ 675 0 R 676 0 R 677 0 R 678 0 R 679 0 R 680 0 R ] /Limits [ (lstnumber.-130.4) (lstnumber.-146.11) ] >>
endobj
124 0 obj
<< /Kids [ 681 0 R 682 0 R 683 0 R 684 0 R 685 0 R 686 0 R ] /Limits [ (lstnumber.-146.12) (lstnumber.-17.1) ] >>
endobj
125 0 obj
<< /Kids [ 687 0 R 688 0 R 689 0 R 690 0 R 691 0 R 692 0 R ] /Limits [ (lstnumber.-18.1) (lstnumber.-28.5) ] >>
endobj
126 0 obj
<< /Kids [ 693 0 R 694 0 R 695 0 R 696 0 R 697 0 R 698 0 R ] /Limits [ (lstnumber.-29.1) (lstnumber.-38.4) ] >>
endobj
127 0 obj
<< /Kids [ 699 0 R 700 0 R 701 0 R 702 0 R 703 0 R 704 0 R ] /Limits [ (lstnumber.-38.5) (lstnumber.-46.3) ] >>
endobj
128 0 obj
<< /Kids [ 705 0 R 706 0 R 707 0 R 708 0 R 709 0 R 710 0 R ] /Limits [ (lstnumber.-46.4) (lstnumber.-51.1) ] >>
endobj
129 0 obj
<< /Kids [ 711 0 R 712 0 R 713 0 R 714 0 R 715 0 R 716 0 R ] /Limits [ (lstnumber.-52.1) (lstnumber.-6.1) ] >>
endobj
130 0 obj
<< /Kids [ 717 0 R 718 0 R 719 0 R 720 0 R 721 0 R 722 0 R ] /Limits [ (lstnumber.-60.1) (lstnumber.-70.3) ] >>
endobj
131 0 obj
<< /Kids [ 723 0 R 724 0 R 725 0 R 726 0 R 727 0 R 728 0 R ] /Limits [ (lstnumber.-70.4) (lstnumber.-82.1) ] >>
endobj
132 0 obj
<< /Kids [ 729 0 R 730 0 R 731 0 R 732 0 R 733 0 R 734 0 R ] /Limits [ (lstnumber.-82.2) (lstnumber.-9.6) ] >>
endobj
133 0 obj
<< /Kids [ 735 0 R 736 0 R 737 0 R 738 0 R 739 0 R 740 0 R ] /Limits [ (lstnumber.-9.7) (lstnumber.-94.6) ] >>
endobj
134 0 obj
<< /Kids [ 741 0 R 742 0 R 743 0 R 744 0 R 745 0 R 746 0 R ] /Limits [ (lstnumber.-95.1) (page.104) ] >>
endobj
135 0 obj
<< /Kids [ 747 0 R 748 0 R 749 0 R 750 0 R 751 0 R 752 0 R ] /Limits [ (page.105) (page.137) ] >>
endobj
136 0 obj
<< /Kids [ 753 0 R 754 0 R 755 0 R 756 0 R 757 0 R 758 0 R ] /Limits [ (page.138) (page.17) ] >>
endobj
137 0 obj
<< /Kids [ 759 0 R 760 0 R 761 0 R 762 0 R 763 0 R 764 0 R ] /Limits [ (page.170) (page.201) ] >>
endobj
138 0 obj
<< /Kids [ 765 0 R 766 0 R 767 0 R 768 0 R 769 0 R 770 0 R ] /Limits [ (page.202) (page.29) ] >>
endobj
139 0 obj
<< /Kids [ 771 0 R 772 0 R 773 0 R 774 0 R 775 0 R 776 0 R ] /Limits [ (page.3) (page.61) ] >>
endobj
140 0 obj
<< /Kids [ 777 0 R 778 0 R 779 0 R 780 0 R 781 0 R 782 0 R ] /Limits [ (page.62) (page.94) ] >>
endobj
141 0 obj
<< /Kids [ 783 0 R 784 0 R 785 0 R 786 0 R 787 0 R 788 0 R ] /Limits [ (page.95) (property.7.1) ] >>
endobj
142 0 obj
<< /Kids [ 789 0 R 790 0 R 791 0 R 792 0 R 793 0 R 794 0 R ] /Limits [ (property.7.10) (remark.7.2) ] >>
endobj
143 0 obj
<< /Kids [ 795 0 R 796 0 R 797 0 R 798 0 R 799 0 R 800 0 R ] /Limits [ (remark.7.3) (section*.36) ] >>
endobj
144 0 obj
<< /Kids [ 801 0 R 802 0 R 803 0 R 804 0 R 805 0 R 806 0 R ] /Limits [ (section*.37) (section*.7) ] >>
endobj
145 0 obj
<< /Kids [ 807 0 R 808 0 R 809 0 R 810 0 R 811 0 R 812 0 R ] /Limits [ (section*.70) (section.4.2) ] >>
endobj
146 0 obj
<< /Kids [ 813 0 R 814 0 R 815 0 R 816 0 R 817 0 R 818 0 R ] /Limits [ (section.4.3) (subsection.4.1.3) ] >>
endobj
147 0 obj
<< /Kids [ 819 0 R 820 0 R 821 0 R 822 0 R 823 0 R 824 0 R ] /Limits [ (subsection.4.2.1) (subsubsection.5.4.3.3) ] >>
endobj
148 0 obj
<< /Kids [ 825 0 R 826 0 R 827 0 R 828 0 R 829 0 R 830 0 R ] /Limits [ (subsubsection.5.4.4.1) (theorem.7.9) ] >>
endobj
149 0 obj
<< /Filter /FlateDecode /Length 19 >>
stream
x3PHW0Pp2A c(endstream
endobj
150 0 obj
<< /ColorSpace 45 0 R /ExtGState 46 0 R /Pattern 54 0 R /ProcSet [ /PDF ] >>
endobj
151 0 obj
<< /A << /D (section*.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 564.522 177.598 573.479 ] /Subtype /Link /Type /Annot >>
endobj
152 0 obj
<< /A << /D (chapter.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 542.557 179.001 551.514 ] /Subtype /Link /Type /Annot >>
endobj
153 0 obj
<< /A << /D (part.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 505.815 195.819 518.306 ] /Subtype /Link /Type /Annot >>
endobj
154 0 obj
<< /A << /D (chapter.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 484.238 246.732 495.132 ] /Subtype /Link /Type /Annot >>
endobj
155 0 obj
<< /A << /D (section.2.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 472.255 328.123 483.047 ] /Subtype /Link /Type /Annot >>
endobj
156 0 obj
<< /A << /D (section.2.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 460.271 212.556 471.064 ] /Subtype /Link /Type /Annot >>
endobj
157 0 obj
<< /A << /D (section.2.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 450.225 327.154 459.081 ] /Subtype /Link /Type /Annot >>
endobj
158 0 obj
<< /A << /D (section.2.4) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 438.242 263.227 447.098 ] /Subtype /Link /Type /Annot >>
endobj
159 0 obj
<< /A << /D (subsection.2.4.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 426.259 282.682 435.114 ] /Subtype /Link /Type /Annot >>
endobj
160 0 obj
<< /A << /D (subsection.2.4.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 412.338 363.38 423.131 ] /Subtype /Link /Type /Annot >>
endobj
161 0 obj
<< /A << /D (section.2.5) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 400.355 269.869 411.148 ] /Subtype /Link /Type /Annot >>
endobj
162 0 obj
<< /A << /D (subsection.2.5.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 388.372 253.956 399.165 ] /Subtype /Link /Type /Annot >>
endobj
163 0 obj
<< /A << /D (subsection.2.5.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 376.389 245.239 387.181 ] /Subtype /Link /Type /Annot >>
endobj
164 0 obj
<< /A << /D (subsection.2.5.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 364.405 256.862 375.198 ] /Subtype /Link /Type /Annot >>
endobj
165 0 obj
<< /A << /D (chapter.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 342.441 370.319 353.335 ] /Subtype /Link /Type /Annot >>
endobj
166 0 obj
<< /A << /D (section.3.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 332.395 265.746 341.25 ] /Subtype /Link /Type /Annot >>
endobj
167 0 obj
<< /A << /D (section.3.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 318.474 246.623 329.323 ] /Subtype /Link /Type /Annot >>
endobj
168 0 obj
<< /A << /D (subsection.3.2.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 306.491 406.374 317.339 ] /Subtype /Link /Type /Annot >>
endobj
169 0 obj
<< /A << /D (subsection.3.2.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 294.508 375.031 305.356 ] /Subtype /Link /Type /Annot >>
endobj
170 0 obj
<< /A << /D (subsection.3.2.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 282.525 280.136 293.373 ] /Subtype /Link /Type /Annot >>
endobj
171 0 obj
<< /A << /D (subsection.3.2.4) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 270.541 361.249 281.39 ] /Subtype /Link /Type /Annot >>
endobj
172 0 obj
<< /A << /D (subsection.3.2.5) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 258.558 397.959 269.407 ] /Subtype /Link /Type /Annot >>
endobj
173 0 obj
<< /A << /D (subsection.3.2.6) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 246.575 344.146 257.368 ] /Subtype /Link /Type /Annot >>
endobj
174 0 obj
<< /A << /D (subsection.3.2.7) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 234.592 350.042 245.44 ] /Subtype /Link /Type /Annot >>
endobj
175 0 obj
<< /A << /D (part.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 202.111 206.142 212.277 ] /Subtype /Link /Type /Annot >>
endobj
176 0 obj
<< /A << /D (chapter.4) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 178.209 444.603 189.103 ] /Subtype /Link /Type /Annot >>
endobj
177 0 obj
<< /A << /D (chapter.4) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 98.899 166.254 287.679 177.148 ] /Subtype /Link /Type /Annot >>
endobj
178 0 obj
<< /A << /D (section.4.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 113.843 154.271 372.954 165.064 ] /Subtype /Link /Type /Annot >>
endobj
179 0 obj
<< /A << /D (subsection.4.1.1) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 144.225 222.16 153.08 ] /Subtype /Link /Type /Annot >>
endobj
180 0 obj
<< /A << /D (subsection.4.1.2) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 132.242 230.849 141.097 ] /Subtype /Link /Type /Annot >>
endobj
181 0 obj
<< /A << /D (subsection.4.1.3) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /F 4 /H /I /Rect [ 136.757 120.258 203.286 129.114 ] /Subtype /Link /Type /Annot >>
endobj
182 0 obj
<< /Filter /FlateDecode /Length 1495 >>
stream
xYS8~9v#pmrә݃Ixة+K2I=XvvI Ώ7;$4R`t(KEL FKxRJa1{B2P☛ (ML.O|0ǘbf;`sjCHa^b8Y9,T[
ؚ1MhLE!xӰԥY[gGMhhL*2k%Ix\fLWٸf7"|͈Ɗ 2Jw8,Q OE}B^*5(/Ύ3v_] bIR[=3lBH_w;Һؙ], o*jK&|i;27dA6zS3`~uS$-']QЮчlw5z٣gz;uү&dt