Script makearchive pour dépot sur CTAN, suppression des CR-LF sur les fichiers metap...
[bclogo.git] / dev / latex / sources_MetaPost / bc-velo.mp
index 1f742f8..a57e97d 100644 (file)
-prologues:=1;\r
-outputtemplate:="%j.mps";\r
-beginfig(1);\r
-linecap := butt;\r
-linejoin := mitered;\r
-path p[];\r
-p1:=(300.332001,84.773399)\r
-    ..controls (299.187988,84.617203) and (293.500000,84.152298)..(287.632996,83.734398)\r
-    ..controls (281.761993,83.316399) and (275.593994,82.839798)..(273.843994,82.671898)\r
-    --(270.683990,82.367203)\r
-    --(270.683990,83.835899)\r
-    ..controls (270.683990,85.808601) and (269.359009,90.210899)..(267.882996,93.144501)\r
-    ..controls (267.222992,94.460899) and (266.777008,95.601601)..(266.886993,95.699203)\r
-    ..controls (263.000000,100.796898) and (263.832001,100.366997)..(259.742004,103.265999)\r
-    ..controls (259.636993,103.152000) and (258.238007,103.753998)..(256.617004,104.605003)\r
-    ..controls (252.727005,106.652000) and (250.496002,107.316002)..(246.246002,107.698997)\r
-    --(242.651993,108.019997)\r
-    --(239.238007,122.921997)\r
-    ..controls (237.358994,131.117004) and (235.867004,137.828003)..(235.925995,137.839996)\r
-    ..controls (237.063004,138.039001) and (238.016006,139.289001)..(237.925995,140.453003)\r
-    ..controls (237.718994,143.113007) and (236.988007,143.358994)..(231.167999,142.733994)\r
-    ..controls (228.285004,142.421997) and (225.766006,141.979996)..(225.526993,141.742004)\r
-    ..controls (225.292999,141.507996) and (225.167999,140.300995)..(225.250000,139.085999)\r
-    ..controls (225.395004,136.960999) and (225.477005,136.852005)..(227.046997,136.707001)\r
-    ..controls (227.957001,136.625000) and (228.688004,136.453003)..(228.688004,136.328003)\r
-    ..controls (228.688004,136.203003) and (230.164001,129.598007)..(231.977005,121.605003)\r
-    ..controls (233.792999,113.609001) and (235.210999,107.063004)..(235.141006,107.008003)\r
-    ..controls (235.070007,106.953003) and (233.421997,106.171997)..(231.496002,105.289001)\r
-    ..controls (229.574005,104.402000) and (226.983994,102.855003)..(225.781006,101.871002)\r
-    ..controls (224.565994,100.883003) and (223.500000,100.167999)..(223.406006,100.277000)\r
-    ..controls (219.039001,105.390999) and (146.824005,191.699005)..(146.570007,192.108994)\r
-    ..controls (146.292999,192.559006) and (149.964996,207.796997)..(150.468994,208.300995)\r
-    --(151.809006,218.367004)\r
-    ..controls (151.824005,218.897995) and (152.229996,222.645004)..(152.723007,226.742004)\r
-    ..controls (153.223007,230.940994) and (153.429993,234.625000)..(153.203003,235.242004)\r
-    ..controls (152.910004,236.022995) and (149.863007,237.733994)..(142.324005,241.348007)\r
-    ..controls (125.628998,249.348007) and (127.453003,248.039001)..(126.445000,252.723007)\r
-    ..controls (125.969002,254.949005) and (125.667999,256.917999)..(125.777000,257.097992)\r
-    ..controls (125.890999,257.281006) and (127.273003,258.156006)..(128.891006,259.070007)\r
-    ..controls (131.753998,260.691010) and (132.078003,260.746002)..(149.483994,262.687988)\r
-    ..controls (159.195007,263.773010) and (167.483994,264.929993)..(167.875000,265.253998)\r
-    ..controls (168.733994,265.972992) and (168.417999,271.289001)..(167.445007,272.453003)\r
-    ..controls (166.608994,273.457001) and (165.395004,273.386993)..(145.714996,271.199005)\r
-    --(128.766006,269.316010)--(122.741997,265.824005)\r
-    ..controls (119.453003,263.917999) and (116.480003,261.957001)..(116.191002,261.500000)\r
-    ..controls (115.805000,260.894989) and (116.125000,258.464996)..(117.355003,252.645004)\r
-    ..controls (118.285004,248.246002) and (119.241997,244.102005)..(119.480003,243.464996)\r
-    ..controls (119.808998,242.570007) and (122.719002,240.934006)..(131.925995,236.457001)\r
-    ..controls (138.554993,233.233994) and (144.022995,230.542999)..(144.121002,230.460999)\r
-    ..controls (144.218994,230.375000) and (143.813004,226.160004)..(143.218994,221.102005)\r
-    ..controls (141.468994,206.160004) and (139.156006,198.382996)..(129.656006,175.516006)\r
-    --(121.730003,156.440994)\r
-    --(117.207001,145.511993)\r
-    ..controls (117.078003,145.203003) and (114.785004,139.718994)..(112.094002,133.292999)\r
-    --(107.210999,121.628998)\r
-    --(96.843803,108.777000)\r
-    ..controls (83.824203,92.640602) and (84.230499,93.093803)..(82.824203,93.093803)\r
-    ..controls (79.890602,93.093803) and (76.195297,89.046898)..(75.617203,85.203102)\r
-    ..controls (74.445297,77.410202) and (83.605499,71.667999)..(90.160202,76.085899)\r
-    ..controls (94.300797,78.875000) and (95.242203,82.621101)..(93.355499,88.792999)\r
-    ..controls (93.113297,89.578102) and (95.492203,92.843803)..(103.973000,103.366997)\r
-    --(114.902000,116.926003)\r
-    --(119.910004,128.917999)\r
-    ..controls (122.996002,136.304993) and (125.152000,140.848007)..(125.527000,140.753998)\r
-    ..controls (129.522995,152.003998) and (132.425995,158.996002)..(135.973007,167.496002)\r
-    --(142.425995,182.953003)\r
-    --(168.479996,151.858994)\r
-    ..controls (182.813004,134.761993) and (199.854996,114.430000)..(206.352005,106.680000)\r
-    --(218.164001,92.589798)\r
-    --(217.089996,89.503899)\r
-    ..controls (215.671997,85.433601) and (215.214996,79.382797)..(216.016006,75.285202)\r
-    ..controls (217.772995,66.281303) and (223.011993,59.332001)..(230.964996,55.453098)\r
-    ..controls (235.276993,53.351601) and (238.604996,52.617199)..(243.815994,52.617199)\r
-    --(247.714996,52.617199)\r
-    --(251.050995,38.074200)\r
-    ..controls (253.886993,25.726601) and (254.285004,23.441401)..(253.684006,22.972700)\r
-    ..controls (252.761993,22.253901) and (252.753998,20.742201)..(253.664001,19.480499)\r
-    ..controls (254.378998,18.484400) and (254.468994,18.488300)..(259.375000,19.730499)\r
-    ..controls (264.082001,20.925800) and (264.367004,21.074200)..(264.527008,22.414101)\r
-    ..controls (264.722992,24.082001) and (263.886993,25.296900)..(262.539001,25.296900)\r
-    ..controls (262.031006,25.296900) and (261.511993,25.679701)..(261.367004,26.156300)\r
-    ..controls (260.824005,27.980499) and (255.000000,53.835899)..(255.000000,54.441399)\r
-    ..controls (255.000000,54.777302) and (256.164001,55.707001)..(257.628998,56.535198)\r
-    ..controls (262.750000,59.433601) and (267.875000,65.875000)..(269.683990,71.691399)\r
-    ..controls (270.171997,73.261703) and (270.906006,74.742203)..(271.289001,74.941399)\r
-    ..controls (272.000000,75.300797) and (301.015991,77.597702)..(301.261993,77.308601)\r
-    --(312.777008,78.175797)\r
-    ..controls (312.917999,78.312500) and (324.617004,79.335899)..(338.785004,80.453102)\r
-    ..controls (376.679993,83.437500) and (373.390991,83.261703)..(373.390991,82.316399)\r
-    ..controls (373.390991,81.246101) and (376.222992,78.062500)..(377.996002,77.140602)\r
-    ..controls (379.816010,76.195297) and (384.644989,76.179703)..(386.445007,77.113297)\r
-    ..controls (388.265991,78.062500) and (390.398010,80.375000)..(391.050995,82.117203)\r
-    ..controls (392.343994,85.554703) and (391.234009,90.425797)..(388.621002,92.789101)\r
-    ..controls (388.035004,93.320297) and (386.367004,94.160202)..(384.902008,94.664101)\r
-    --(382.246002,95.574203)\r
-    ..(374.687988,91.476601)\r
-    ..controls (374.082001,90.671898) and (370.582001,90.296898)..(345.234009,88.312500)\r
-    ..controls (329.398010,87.074203) and (315.140991,85.937500)..(313.511993,85.785202)\r
-    --(310.550995,85.503899)\r
-    --cycle;\r
-p2:=fullcircle scaled(152) shifted(85,85);\r
-p3:=fullcircle scaled(152) shifted(383,85);\r
-p4:=(150.468994,208.300995)\r
-    ..controls (150.656006,208.488007) and (202.988007,210.233994)..(262.082001,212.020004)\r
-    ..controls (271.695007,212.313004) and (280.445007,212.617004)..(281.562988,212.703003)\r
-    ..controls (282.675995,212.785004) and (285.027008,212.886993)..(286.796997,212.929993)\r
-    ..controls (289.882996,213.003998) and (290.000000,212.960999)..(289.781006,211.891006)\r
-    ..controls (289.375000,209.917999) and (259.941010,103.473000)..(259.742004,103.265999)\r
-    ..(266.886993,95.699203)\r
-    ..controls (267.000000,95.796898) and (273.832001,120.366997)..(282.066010,150.266006)\r
-    ..controls (290.300995,180.167999) and (297.160004,205.000000)..(297.304993,205.414001)\r
-    ..controls (297.628998,206.358994) and (295.664001,209.108994)..(317.324005,177.386993)\r
-    --(335.597992,150.621002)\r
-    --(340.250000,143.190994)\r
-    --(357.203003,119.101997)\r
-    --(374.687988,91.476601)\r
-    ..(382.246002,95.574203)\r
-    --(364.890991,120.973000)\r
-    ..controls (355.351990,134.938004) and (347.605011,146.417999)..(347.687988,146.473007)\r
-    --(341.414001,155.953003)\r
-    ..controls (340.984009,155.718994) and (300.265991,215.535004)..(300.441010,216.141006)\r
-    ..controls (300.519989,216.425995) and (300.707001,217.684006)..(300.863007,219.000000)\r
-    ..controls (301.015991,220.289001) and (302.183990,224.617004)..(303.445007,228.563004)\r
-    --(305.746002,235.772995)\r
-    --(308.097992,235.772995)\r
-    ..controls (309.386993,235.772995) and (313.968994,236.781006)..(318.218994,238.000000)\r
-    --(325.984009,240.227005)\r
-    --(331.019989,245.257996)\r
-    --(336.050995,250.292999)\r
-    --(333.726990,254.921997)\r
-    ..controls (332.453003,257.453003) and (331.339996,259.550995)..(331.269989,259.550995)\r
-    ..controls (331.199005,259.550995) and (324.566010,258.882996)..(316.472992,258.058990)\r
-    ..controls (308.402008,257.238007) and (294.511993,256.203003)..(285.609009,255.757996)\r
-    ..controls (276.703003,255.313004) and (269.132996,254.854996)..(268.785004,254.746002)\r
-    ..controls (268.335999,254.602005) and (268.152008,253.102005)..(268.152008,249.507996)\r
-    ..controls (268.152008,245.207001) and (268.281006,244.421997)..(269.039001,244.121002)\r
-    ..controls (269.527008,243.925995) and (274.125000,242.167999)..(279.285004,240.199005)\r
-    ..controls (288.039001,236.863007) and (288.976990,236.613007)..(293.753998,236.328003)\r
-    --(298.863007,236.026993)\r
-    --(296.308990,228.815994)\r
-    --(293.753998,221.604996)\r
-    --(289.429993,221.604996)\r
-    ..controls (287.054993,221.604996) and (278.375000,221.382996)..(270.175995,221.108994)\r
-    ..controls (245.992004,220.300995) and (177.378998,218.132996)..(164.078003,217.753998)\r
-    ..controls (152.190994,217.417999) and (151.785004,217.438004)..(151.809006,218.367004)\r
-    --cycle\r
-    ;\r
-fill p1;\r
-draw p2 withpen pencircle scaled(10bp);\r
-draw p3 withpen pencircle scaled(10bp);\r
-fill p4;\r
-r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));\r
-picture pic;\r
-pic:=currentpicture;\r
-currentpicture:=nullpicture;\r
-drawoptions();\r
-draw pic scaled(r);\r
-z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);\r
-z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);\r
-draw (z0+(10.5,2));\r
-draw (z1-(10.5,2));\r
-clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);\r
-\r
-endfig;\r
-end;\r
+prologues:=1;
+outputtemplate:="%j.mps";
+beginfig(1);
+linecap := butt;
+linejoin := mitered;
+path p[];
+p1:=(300.332001,84.773399)
+    ..controls (299.187988,84.617203) and (293.500000,84.152298)..(287.632996,83.734398)
+    ..controls (281.761993,83.316399) and (275.593994,82.839798)..(273.843994,82.671898)
+    --(270.683990,82.367203)
+    --(270.683990,83.835899)
+    ..controls (270.683990,85.808601) and (269.359009,90.210899)..(267.882996,93.144501)
+    ..controls (267.222992,94.460899) and (266.777008,95.601601)..(266.886993,95.699203)
+    ..controls (263.000000,100.796898) and (263.832001,100.366997)..(259.742004,103.265999)
+    ..controls (259.636993,103.152000) and (258.238007,103.753998)..(256.617004,104.605003)
+    ..controls (252.727005,106.652000) and (250.496002,107.316002)..(246.246002,107.698997)
+    --(242.651993,108.019997)
+    --(239.238007,122.921997)
+    ..controls (237.358994,131.117004) and (235.867004,137.828003)..(235.925995,137.839996)
+    ..controls (237.063004,138.039001) and (238.016006,139.289001)..(237.925995,140.453003)
+    ..controls (237.718994,143.113007) and (236.988007,143.358994)..(231.167999,142.733994)
+    ..controls (228.285004,142.421997) and (225.766006,141.979996)..(225.526993,141.742004)
+    ..controls (225.292999,141.507996) and (225.167999,140.300995)..(225.250000,139.085999)
+    ..controls (225.395004,136.960999) and (225.477005,136.852005)..(227.046997,136.707001)
+    ..controls (227.957001,136.625000) and (228.688004,136.453003)..(228.688004,136.328003)
+    ..controls (228.688004,136.203003) and (230.164001,129.598007)..(231.977005,121.605003)
+    ..controls (233.792999,113.609001) and (235.210999,107.063004)..(235.141006,107.008003)
+    ..controls (235.070007,106.953003) and (233.421997,106.171997)..(231.496002,105.289001)
+    ..controls (229.574005,104.402000) and (226.983994,102.855003)..(225.781006,101.871002)
+    ..controls (224.565994,100.883003) and (223.500000,100.167999)..(223.406006,100.277000)
+    ..controls (219.039001,105.390999) and (146.824005,191.699005)..(146.570007,192.108994)
+    ..controls (146.292999,192.559006) and (149.964996,207.796997)..(150.468994,208.300995)
+    --(151.809006,218.367004)
+    ..controls (151.824005,218.897995) and (152.229996,222.645004)..(152.723007,226.742004)
+    ..controls (153.223007,230.940994) and (153.429993,234.625000)..(153.203003,235.242004)
+    ..controls (152.910004,236.022995) and (149.863007,237.733994)..(142.324005,241.348007)
+    ..controls (125.628998,249.348007) and (127.453003,248.039001)..(126.445000,252.723007)
+    ..controls (125.969002,254.949005) and (125.667999,256.917999)..(125.777000,257.097992)
+    ..controls (125.890999,257.281006) and (127.273003,258.156006)..(128.891006,259.070007)
+    ..controls (131.753998,260.691010) and (132.078003,260.746002)..(149.483994,262.687988)
+    ..controls (159.195007,263.773010) and (167.483994,264.929993)..(167.875000,265.253998)
+    ..controls (168.733994,265.972992) and (168.417999,271.289001)..(167.445007,272.453003)
+    ..controls (166.608994,273.457001) and (165.395004,273.386993)..(145.714996,271.199005)
+    --(128.766006,269.316010)--(122.741997,265.824005)
+    ..controls (119.453003,263.917999) and (116.480003,261.957001)..(116.191002,261.500000)
+    ..controls (115.805000,260.894989) and (116.125000,258.464996)..(117.355003,252.645004)
+    ..controls (118.285004,248.246002) and (119.241997,244.102005)..(119.480003,243.464996)
+    ..controls (119.808998,242.570007) and (122.719002,240.934006)..(131.925995,236.457001)
+    ..controls (138.554993,233.233994) and (144.022995,230.542999)..(144.121002,230.460999)
+    ..controls (144.218994,230.375000) and (143.813004,226.160004)..(143.218994,221.102005)
+    ..controls (141.468994,206.160004) and (139.156006,198.382996)..(129.656006,175.516006)
+    --(121.730003,156.440994)
+    --(117.207001,145.511993)
+    ..controls (117.078003,145.203003) and (114.785004,139.718994)..(112.094002,133.292999)
+    --(107.210999,121.628998)
+    --(96.843803,108.777000)
+    ..controls (83.824203,92.640602) and (84.230499,93.093803)..(82.824203,93.093803)
+    ..controls (79.890602,93.093803) and (76.195297,89.046898)..(75.617203,85.203102)
+    ..controls (74.445297,77.410202) and (83.605499,71.667999)..(90.160202,76.085899)
+    ..controls (94.300797,78.875000) and (95.242203,82.621101)..(93.355499,88.792999)
+    ..controls (93.113297,89.578102) and (95.492203,92.843803)..(103.973000,103.366997)
+    --(114.902000,116.926003)
+    --(119.910004,128.917999)
+    ..controls (122.996002,136.304993) and (125.152000,140.848007)..(125.527000,140.753998)
+    ..controls (129.522995,152.003998) and (132.425995,158.996002)..(135.973007,167.496002)
+    --(142.425995,182.953003)
+    --(168.479996,151.858994)
+    ..controls (182.813004,134.761993) and (199.854996,114.430000)..(206.352005,106.680000)
+    --(218.164001,92.589798)
+    --(217.089996,89.503899)
+    ..controls (215.671997,85.433601) and (215.214996,79.382797)..(216.016006,75.285202)
+    ..controls (217.772995,66.281303) and (223.011993,59.332001)..(230.964996,55.453098)
+    ..controls (235.276993,53.351601) and (238.604996,52.617199)..(243.815994,52.617199)
+    --(247.714996,52.617199)
+    --(251.050995,38.074200)
+    ..controls (253.886993,25.726601) and (254.285004,23.441401)..(253.684006,22.972700)
+    ..controls (252.761993,22.253901) and (252.753998,20.742201)..(253.664001,19.480499)
+    ..controls (254.378998,18.484400) and (254.468994,18.488300)..(259.375000,19.730499)
+    ..controls (264.082001,20.925800) and (264.367004,21.074200)..(264.527008,22.414101)
+    ..controls (264.722992,24.082001) and (263.886993,25.296900)..(262.539001,25.296900)
+    ..controls (262.031006,25.296900) and (261.511993,25.679701)..(261.367004,26.156300)
+    ..controls (260.824005,27.980499) and (255.000000,53.835899)..(255.000000,54.441399)
+    ..controls (255.000000,54.777302) and (256.164001,55.707001)..(257.628998,56.535198)
+    ..controls (262.750000,59.433601) and (267.875000,65.875000)..(269.683990,71.691399)
+    ..controls (270.171997,73.261703) and (270.906006,74.742203)..(271.289001,74.941399)
+    ..controls (272.000000,75.300797) and (301.015991,77.597702)..(301.261993,77.308601)
+    --(312.777008,78.175797)
+    ..controls (312.917999,78.312500) and (324.617004,79.335899)..(338.785004,80.453102)
+    ..controls (376.679993,83.437500) and (373.390991,83.261703)..(373.390991,82.316399)
+    ..controls (373.390991,81.246101) and (376.222992,78.062500)..(377.996002,77.140602)
+    ..controls (379.816010,76.195297) and (384.644989,76.179703)..(386.445007,77.113297)
+    ..controls (388.265991,78.062500) and (390.398010,80.375000)..(391.050995,82.117203)
+    ..controls (392.343994,85.554703) and (391.234009,90.425797)..(388.621002,92.789101)
+    ..controls (388.035004,93.320297) and (386.367004,94.160202)..(384.902008,94.664101)
+    --(382.246002,95.574203)
+    ..(374.687988,91.476601)
+    ..controls (374.082001,90.671898) and (370.582001,90.296898)..(345.234009,88.312500)
+    ..controls (329.398010,87.074203) and (315.140991,85.937500)..(313.511993,85.785202)
+    --(310.550995,85.503899)
+    --cycle;
+p2:=fullcircle scaled(152) shifted(85,85);
+p3:=fullcircle scaled(152) shifted(383,85);
+p4:=(150.468994,208.300995)
+    ..controls (150.656006,208.488007) and (202.988007,210.233994)..(262.082001,212.020004)
+    ..controls (271.695007,212.313004) and (280.445007,212.617004)..(281.562988,212.703003)
+    ..controls (282.675995,212.785004) and (285.027008,212.886993)..(286.796997,212.929993)
+    ..controls (289.882996,213.003998) and (290.000000,212.960999)..(289.781006,211.891006)
+    ..controls (289.375000,209.917999) and (259.941010,103.473000)..(259.742004,103.265999)
+    ..(266.886993,95.699203)
+    ..controls (267.000000,95.796898) and (273.832001,120.366997)..(282.066010,150.266006)
+    ..controls (290.300995,180.167999) and (297.160004,205.000000)..(297.304993,205.414001)
+    ..controls (297.628998,206.358994) and (295.664001,209.108994)..(317.324005,177.386993)
+    --(335.597992,150.621002)
+    --(340.250000,143.190994)
+    --(357.203003,119.101997)
+    --(374.687988,91.476601)
+    ..(382.246002,95.574203)
+    --(364.890991,120.973000)
+    ..controls (355.351990,134.938004) and (347.605011,146.417999)..(347.687988,146.473007)
+    --(341.414001,155.953003)
+    ..controls (340.984009,155.718994) and (300.265991,215.535004)..(300.441010,216.141006)
+    ..controls (300.519989,216.425995) and (300.707001,217.684006)..(300.863007,219.000000)
+    ..controls (301.015991,220.289001) and (302.183990,224.617004)..(303.445007,228.563004)
+    --(305.746002,235.772995)
+    --(308.097992,235.772995)
+    ..controls (309.386993,235.772995) and (313.968994,236.781006)..(318.218994,238.000000)
+    --(325.984009,240.227005)
+    --(331.019989,245.257996)
+    --(336.050995,250.292999)
+    --(333.726990,254.921997)
+    ..controls (332.453003,257.453003) and (331.339996,259.550995)..(331.269989,259.550995)
+    ..controls (331.199005,259.550995) and (324.566010,258.882996)..(316.472992,258.058990)
+    ..controls (308.402008,257.238007) and (294.511993,256.203003)..(285.609009,255.757996)
+    ..controls (276.703003,255.313004) and (269.132996,254.854996)..(268.785004,254.746002)
+    ..controls (268.335999,254.602005) and (268.152008,253.102005)..(268.152008,249.507996)
+    ..controls (268.152008,245.207001) and (268.281006,244.421997)..(269.039001,244.121002)
+    ..controls (269.527008,243.925995) and (274.125000,242.167999)..(279.285004,240.199005)
+    ..controls (288.039001,236.863007) and (288.976990,236.613007)..(293.753998,236.328003)
+    --(298.863007,236.026993)
+    --(296.308990,228.815994)
+    --(293.753998,221.604996)
+    --(289.429993,221.604996)
+    ..controls (287.054993,221.604996) and (278.375000,221.382996)..(270.175995,221.108994)
+    ..controls (245.992004,220.300995) and (177.378998,218.132996)..(164.078003,217.753998)
+    ..controls (152.190994,217.417999) and (151.785004,217.438004)..(151.809006,218.367004)
+    --cycle
+    ;
+fill p1;
+draw p2 withpen pencircle scaled(10bp);
+draw p3 withpen pencircle scaled(10bp);
+fill p4;
+r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
+picture pic;
+pic:=currentpicture;
+currentpicture:=nullpicture;
+drawoptions();
+draw pic scaled(r);
+z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
+z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
+draw (z0+(10.5,2));
+draw (z1-(10.5,2));
+clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);
+
+endfig;
+end;

Licence Creative Commons Les fichiers de Syracuse sont mis à disposition (sauf mention contraire) selon les termes de la
Licence Creative Commons Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International.