1 files changed, 280 insertions, 0 deletions
diff --git a/doc/soutenance/property.svg b/doc/soutenance/property.svg
new file mode 100644
index 0000000..a3d085c
--- /dev/null
+++ b/doc/soutenance/property.svg
@@ -0,0 +1,280 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="640px"
+   height="480px"
+   id="svg6553"
+   version="1.1"
+   inkscape:version="0.48.4 r9939"
+   sodipodi:docname="property.svg">
+  <defs
+     id="defs6555">
+    <pattern
+       inkscape:collect="always"
+       xlink:href="#Strips1_1"
+       id="pattern7089"
+       patternTransform="matrix(4.9170391,4.8741499,-32.098984,32.381433,248.23706,146.68553)" />
+    <pattern
+       inkscape:stockid="Stripes 1:1"
+       id="Strips1_1"
+       patternTransform="translate(0,0) scale(10,10)"
+       height="1"
+       width="2"
+       patternUnits="userSpaceOnUse"
+       inkscape:collect="always">
+      <rect
+         id="rect4486"
+         height="2"
+         width="1"
+         y="-0.5"
+         x="0"
+         style="fill:black;stroke:none" />
+    </pattern>
+    <pattern
+       inkscape:collect="always"
+       xlink:href="#Strips1_1-7"
+       id="pattern7089-0"
+       patternTransform="matrix(4.9170391,4.8741499,-32.098984,32.381433,248.23706,146.68553)" />
+    <pattern
+       inkscape:stockid="Stripes 1:1"
+       id="Strips1_1-7"
+       patternTransform="translate(0,0) scale(10,10)"
+       height="1"
+       width="2"
+       patternUnits="userSpaceOnUse"
+       inkscape:collect="always">
+      <rect
+         id="rect4486-1"
+         height="2"
+         width="1"
+         y="-0.5"
+         x="0"
+         style="fill:black;stroke:none" />
+    </pattern>
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.095627"
+     inkscape:cx="320"
+     inkscape:cy="281.22383"
+     inkscape:current-layer="layer1"
+     inkscape:document-units="px"
+     showgrid="false"
+     showguides="true"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1641"
+     inkscape:window-height="849"
+     inkscape:window-x="183"
+     inkscape:window-y="160"
+     inkscape:window-maximized="0" />
+  <metadata
+     id="metadata6558">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     id="layer1"
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer">
+    <g
+       id="g7124"
+       transform="translate(-30.608532,-104.30486)">
+      <path
+         sodipodi:nodetypes="sssssssss"
+         inkscape:connector-curvature="0"
+         id="path7069"
+         d="m 92.18466,231.74032 c 0,-54.28392 24.52482,-75.75571 79.40659,-75.75571 47.44479,0 47.67731,39.7033 76.21207,39.7033 31.43902,0 31.2808,-40.61602 81.68838,-40.61602 46.59649,0 76.59323,21.89564 76.66843,70.2794 0.0915,58.8704 -29.52809,77.74725 -61.4749,77.74725 -65.82969,0 -65.39144,-31.33223 -96.85544,-31.33223 -28.55406,0 -27.66032,31.16613 -88.1039,31.16613 -43.34073,0 -67.54123,-18.82241 -67.54123,-71.19212 z"
+         style="fill:#d5ffe6;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+      <path
+         transform="matrix(0.88812517,0,0,0.88812517,76.590003,70.465993)"
+         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
+         sodipodi:ry="61.957447"
+         sodipodi:rx="61.957447"
+         sodipodi:cy="179.89362"
+         sodipodi:cx="286.55319"
+         id="path7091"
+         style="fill:#d5e5ff;stroke:#000000;stroke-width:3.37790227;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         sodipodi:type="arc" />
+      <g
+         id="g7120">
+        <path
+           sodipodi:type="arc"
+           style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+           id="path7085-2"
+           sodipodi:cx="296.87943"
+           sodipodi:cy="197.31915"
+           sodipodi:rx="34.851063"
+           sodipodi:ry="34.851063"
+           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
+           transform="matrix(0.85796507,0,0,0.85796507,76.372928,60.941104)" />
+        <path
+           sodipodi:type="arc"
+           style="fill:url(#pattern7089);fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+           id="path7085"
+           sodipodi:cx="296.87943"
+           sodipodi:cy="197.31915"
+           sodipodi:rx="34.851063"
+           sodipodi:ry="34.851063"
+           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
+           transform="matrix(0.85796507,0,0,0.85796507,76.372929,60.9411)" />
+      </g>
+    </g>
+    <g
+       id="g7302"
+       transform="translate(-73.204277,11.865352)">
+      <path
+         transform="matrix(1.6068752,0,0,1.6068752,-86.77435,24.422779)"
+         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
+         sodipodi:ry="61.957447"
+         sodipodi:rx="61.957447"
+         sodipodi:cy="179.89362"
+         sodipodi:cx="286.55319"
+         id="path7091-1"
+         style="fill:#f4d7e3;stroke:#000000;stroke-width:1.86697769;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         sodipodi:type="arc" />
+      <path
+         sodipodi:nodetypes="sssssssss"
+         inkscape:connector-curvature="0"
+         id="path7069-3"
+         d="m 134.78041,314.99564 c 0,-54.28392 24.52482,-75.75571 79.40659,-75.75571 47.44479,0 47.67731,39.7033 76.21207,39.7033 31.43902,0 31.2808,-40.61602 81.68838,-40.61602 46.59649,0 76.59323,21.89564 76.66843,70.2794 0.0915,58.8704 -29.52809,77.74725 -61.4749,77.74725 -65.82969,0 -65.39144,-31.33223 -96.85544,-31.33223 -28.55406,0 -27.66032,31.16613 -88.1039,31.16613 -43.34073,0 -67.54123,-18.82241 -67.54123,-71.19212 z"
+         style="fill:#d5ffe6;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+      <path
+         id="path7069-3-9"
+         d="m 372.09375,238.3125 c -50.40758,0 -50.24848,40.625 -81.6875,40.625 -3.55518,0 -6.67744,-0.60845 -9.5,-1.6875 -4.38635,11.22536 -6.78125,23.47113 -6.78125,36.25 0,15.09681 3.36164,29.39871 9.375,42.21875 2.12423,-0.4429 4.41673,-0.6875 6.9375,-0.6875 31.464,0 31.01406,31.3125 96.84375,31.3125 31.94681,0 61.56025,-18.8796 61.46875,-77.75 -0.0752,-48.38376 -30.05976,-70.28125 -76.65625,-70.28125 z"
+         style="fill:#d5e5ff;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+         inkscape:connector-curvature="0" />
+      <g
+         transform="translate(42.59575,83.255323)"
+         id="g7120-1">
+        <path
+           sodipodi:type="arc"
+           style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+           id="path7085-2-2"
+           sodipodi:cx="296.87943"
+           sodipodi:cy="197.31915"
+           sodipodi:rx="34.851063"
+           sodipodi:ry="34.851063"
+           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
+           transform="matrix(0.85796507,0,0,0.85796507,76.372928,60.941104)" />
+        <path
+           sodipodi:type="arc"
+           style="fill:url(#pattern7089-0);fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+           id="path7085-0"
+           sodipodi:cx="296.87943"
+           sodipodi:cy="197.31915"
+           sodipodi:rx="34.851063"
+           sodipodi:ry="34.851063"
+           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
+           transform="matrix(0.85796507,0,0,0.85796507,76.372929,60.9411)" />
+      </g>
+      <path
+         transform="matrix(1.6068752,0,0,1.6068752,-86.774353,24.422775)"
+         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
+         sodipodi:ry="61.957447"
+         sodipodi:rx="61.957447"
+         sodipodi:cy="179.89362"
+         sodipodi:cx="286.55319"
+         id="path7091-1-7"
+         style="fill:none;stroke:#000000;stroke-width:1.86697769;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         sodipodi:type="arc" />
+      <text
+         sodipodi:linespacing="125%"
+         id="text7277"
+         y="359.31992"
+         x="189.8259"
+         style="font-size:10px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+         xml:space="preserve"><tspan
+           y="359.31992"
+           x="189.8259"
+           id="tspan7279"
+           sodipodi:role="line">\large $P$</tspan></text>
+    </g>
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="116.62163"
+       y="158.96265"
+       id="text7277-0"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan7279-1"
+         x="116.62163"
+         y="158.96265">\large $P$</tspan></text>
+    <path
+       style="fill:none;stroke:#006700;stroke-width:10;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       d="m 487.78847,137.49463 17.9425,17.62119 44.69885,-43.89838"
+       id="path7313"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#820000;stroke-width:10;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       d="m 496.49557,315.2692 51.54828,50.92205 m -0.12331,-51.16864 -52.04158,52.03172"
+       id="path7319"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="309.41187"
+       y="169.6754"
+       id="text7348"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         x="309.41187"
+         y="169.6754"
+         id="tspan7364">$S$</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="333.14258"
+       y="187.92979"
+       id="text7352"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         x="333.14258"
+         y="187.92979"
+         id="tspan7368">$S^\sharp$</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="313.06274"
+       y="371.38641"
+       id="text7356"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan7358"
+         x="313.06274"
+         y="371.38641">$S$</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="376.04037"
+       y="406.06973"
+       id="text7360"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan7362"
+         x="376.04037"
+         y="406.06973">$S^\sharp$</tspan></text>
+  </g>
+</svg>