Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B
Texte intégral
(2)
(3)
(4)
(5)
(6)
(7) .
(8)
(9) .
(10)
(11) ! "!# $ % $ & '( ! )%. ) . .
(12) .
(13) .
(14) .
(15) .
(16) *. + , - + !./ ! ! %
(17) ( !,
(18) .0
(19)
(20) 1 ) ! !. 2. %.! + 0!1 + , - + !.30
(21) !
(22) 4 5 ,
(23) .0 !
(24) ! !
(25) 1 + ! "!#, &
(26) 5 ! . $ ,
(27) .0 ! 2
(28) ! !1
(29) % 0 , % %, .
(30) .Æ 0
(31)
(32) 1 + $ % $ & ' , - 0 !
(33) 4
(34) , !. 2 %.!! + 06 !
(35) % 01 + ) , & 0!
(36) (!, !
(37) 7 % 0 % .
(38) 6
(39) ! 6
(40)
(41) - !! !
(42) !1 + ! )% , - + !./ ! ! %
(43) ( !,
(44) .0
(45) + , ! ! !!1 ) !
(46) .0 + ! ! %.! . 1
(47) 0 + !!+,
(48) %.
(49) 8
(50) !, %
(51)
(52) , !! ,
(53) . +
(54) . , ! 061 3 ! + )
(55) 4!,
(56) .0 0 !
(57) , ! % 0 1 2 0! ! -
(58) 0
(59) . , ! !. %
(60) ! !
(61) !. ! !
(62) % 0 0 1 9 !
(63) 0 !%! . + 0!! , ! %
(64) , + !.0
(65) 06, ! 1 0! ! !
(66)
(67) -!!, % .. !
(68) .
(69) 1 3 ! + ! !
(70) 0 , ! , 9
(71) :.
(72) .
(73) .
(74)
(75) . ;1; ;1 ;1* ;18. 9!
(76) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(77) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1. . < ;; ;* ;.
(78)
(79) . .
(80) . . 1; =!% - 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;1;
(81) - !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;1
(82) - !! !
(83) 0 1 1 1 1 1 1 1 1 1 1 1 1 1;1* > ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1;18 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 =!% 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11; & 9 ! % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11 -
(84) 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11* $ 9 - !!
(85) 6 ! 1 1 1 1 1 1 1 1 1 1*
(86) ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1; 4!
(87) !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1 3
(88) !.
(89) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1*1* 46 +
(90) 0! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1;
(91) 9 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 5 ! 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *11; 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *11 5
(92) 1 1 1 1 1 1 1 1 1 1 1 1 1. ;< ; * 8 ? * ** ** *? *@. 88 8A 8@ .
(93) ?. . *11* 6% 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1* B
(94) 0 C+ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1; & 9 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1 D ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1* / - ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*18 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1*1
(95)
(96) Æ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *18 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *181; 46
(97) ! ! 1 1 1 1 1 1 1 1 1 1 1 *181 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 > 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1; & 9
(98) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1 4!
(99) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1* 0
(100) 0 ! 1 1 1 1 1 1 1 1 1 1 1 *1 18 /!
(101) ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 *1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1.
(102)
(103)
(104)
(105)
(106) . ; ; ; 8 ? A @ ? ?8 ?8 ?? ?@ A* A@. . 81; & 0! ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 @; 81;1; ' ! 0 ! 1 1 1 @ 81;1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 @* 81;1* Æ ! 1 1 1 1 1 1 1 1 1 1 1 1 @A 81;18 & 0! ! Æ 1 1 1 1 1 1 1 @< 81;1 4 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 < 81
(107) !
(108) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <A 811; !
(109) 0 1 1 1 1 1 1 1 <@ 811 Æ !
(110) 0 1 1 1 1 1 1 1 1 1 1 << 811* 3 !
(111) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 81* 5 9 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;A 81*1;
(112) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;A 81*1
(113) 0
(114) .0 1 1 1 1 1 1 1 1 1 1 ;< 81*1* 0
(115) !
(116) 1 1 1 1 1 1 1 1 1 1 1 ;;* 818 & 0! ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;; 8181;
(117) 0
(118) Æ 1 1 1 1 1 1 1 1 ;;? 8181 0
(119) !
(120) 1 1 1 1 1 1 1 1 1 1 1 ; 8181* 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;.
(121)
(122) .
(123) A. .
(124)
(125) . . . 41;
(126) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;*< 41;1; 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;*< 41;1 5 % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41;1* / 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41 !
(127) % 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8; 41* 0
(128)
(129) !. 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1; 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1 0 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 41*1* 0
(130) ! A 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8 . .
(131) !
(132) " #$% &. '. 1; /
(133) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8A 1 +!
(134) .!
(135) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8A 11; 4! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;8@ 11 5
(136) + ! 1 1 1 1 1 1 1 1 1 1 ;8< 11* 5
(137) + 1 1 1 1 1 1 1 1 1 1 1 ; ; 1* /!
(138) +!
(139) .! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; ; 1*1; +!
(140) !
(141) 1 1 1 1 1 1 1 1 1 ; ; 1*1
(142) + ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 1*1*
(143) +
(144) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 18 ! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; ? 1 =!% !! 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1; !!
(145) E 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1 !!
(146) ! - !
(147) . 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; A 1 1* 47 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; @ .
(148) . (.
(149) @. .
(150) <. ;<@@ . + !
(151) . .
(152) 2F
(153) - + !.1 $
(154) ,
(155)
(156)
(157)
(158)
(159)
(160) .
(161) ,
(162)
(163) !
(164)
(165) !."! + &
(166) 1
(167) , !
(168)
(169) . !
(170) . !.
(171) - , %
(172) ! ! !1 =! ! 9!
(173)
(174)
(175) 7 06 % . 6%! . G =!! ! ! 0
(176) .
(177) G 9, %!! 0
(178)
(179) + , %!! G ) 9
(180)
(181) .
(182) 0 061
(183) 1 ;<@<.
(184) 0
(185) .
(186)
(187) !
(188)
(189) % %!9
(190)
(191)
(192) , . +
(193)
(194)
(195)
(196) , ! - ! - % ! !
(197) %
(198) 91 5,
(199) !,
(200)
(201) .
(202) ! % .
(203) ! , !
(204) 0 ! !
(205) ! %
(206) ! 1 7 %. 6 , 0! . 1 /! 6! !
(207) 0 9
(208) 0!! .
(209) ;
(210) . 6 1 & ! 2 + ! 9 !!2
(211) %
(212) 9, 0!
(213)
(214) !
(215) !
(216)
(217) 0! ,
(218)
(219) .
(220) - !%!
(221)
(222) . !, 0!
(223) !
(224) ! 0+0
(225) 9 1 ! -
(226)
(227)
(228) 0! - !
(229) ! !1
(230) , ! -. . + !.!! , + ! H0 6 !
(231) % - !!1 . !. ! !
(232) ! % %
(233) 0 %! ! ! !%,
(234) %! -, 9
(235) 0 0! % 9 !.
(236) % ! 1
(237) !. !!, %
(238) . !! 1 !
(239)
(240) !. !
(241) .
(242) 0!, ! ! !. !
(243) . % 1 !
(244)
(245) 0
(246) . .
(247)
(248) - !
(249) 0 ! !%! . !
(250) 0! - ! ,
(251) - !!1 , 2 !+ ,
(252)
(253) 0 2
(254) ! 0 ! 6 ! , ! -
(255) %, !
(256) ! !. . !!1 ! 0
(257)
(258) 7 . 0 1 2 , . !
(259) ! -
(260) -
(261) 6,
(262) !%! ! 6 ,
(263) ! ! 0
(264) , % . 6
(265) ! H0
(266) ! %1 2 , ! ! !!
(267) !! .
(268) ! ! ! !+ !
(269)
(270) - 2 !6 1 %. "! + &
(271) !. ! 0
(272) , .
(273)
(274)
(275) ..
(276) ,
(277) .
(278) , 0
(279) .
(280) 6 0 !
(281) +% ! 1 .
(282) ! !, !
(283)
(284) , ! 0 !
(285) . !! + Æ !!
(286)
(287) 1
(288)
(289)
(290)
(291)
(292)
(293)
(294) .
(295) ;;. . ).!! ! H0
(296) -
(297) ! -
(298) ,
(299) 0 6%! . - . , ! 0 ! 1 ! ! ! ! % ! ! !1 .
(300)
(301) ! ! 6
(302)
(303)
(304) 2F 9 !. ! ! %.! ! , ! !
(305) 1 . %
(306) - + !. .
(307) !
(308) B ! 1 &+ !
(309)
(310) 0 + !. . 0 + , ! 1 !
(311) . !
(312) 6
(313)
(314) %
(315) .!
(316)
(317)
(318) , !. - 0
(319) ! !
(320) 6 6 !
(321) 1 .
(322) % + !, 0 0 0 ! ! 0 !
(323) 0! ! !1 /! 6
(324)
(325)
(326) ! 9 ! 6
(327) ! %
(328) !, ! ! + ! - ! ! ! ! % ! . 1 > 6! !! ,
(329) !
(330)
(331) ! ,
(332) 7 !
(333) !.
(334) !
(335) 9 ! 1 $ , ,
(336) . !. ! !G =! ! ! !+ %G & ! 2 + !
(337) 9 !
(338) .
(339)
(340)
(341) 7 - 0 ! !1 )0,
(342) !
(343) .
(344) 9 , ! !
(345) !. !%! .!% !
(346) 01 & ! ! 4
(347) ,
(348) 9
(349) ! !
(350) . 2 , 2 ! + 1
(351)
(352) ! %
(353) 7 111 . ! % % : 0
(354)
(355) I
(356) J, . +
(357)
(358) + !.6 ! + !.
(359)
(360) 6 ! 6
(361) %
(362) 1 > 0 + 0 . 6! ! ! ! 6
(363) ! % !
(364) !1 6! 0
(365) ! !
(366)
(367) 6 %,
(368) !
(369) ! 0 9. % 0 9
(370) % K
(371) ! . . .
(372)
(373)
(374)
(375)
(376) .
(377) ;
(378) + !.6 :L1 ! +
(379) 0 , % !. 0 !
(380)
(381) 0! ! !
(382) ! !
(383) 0
(384) ! %!
(385)
(386) 1 > 0
(387)
(388) 0!
(389) ! . ! !
(390) , !
(391)
(392) 0! , !
(393) ! - 0 0! ! ! , 9
(394) ! !
(395)
(396) 0!
(397) 0 9 1 5! !
(398) 6 %
(399) ! ! ! . -!
(400) !
(401)
(402) . 1 0
(403) ! - + !. + 0 !
(404) ! , % .
(405) 0 ! ! !, ! !1 - 0 ,
(406)
(407) 0 ! !, 0 ! ! 6 !
(408) !! ,
(409) + !. 0
(410) 0 9 1 . -
(411)
(412) . ! , 9
(413) - ! 0 %
(414) , . +
(415) ! 2F 9, !
(416) ,
(417) .
(418) ! ! 6
(419) 0!1 !
(420) . !
(421) 0
(422)
(423) + ! ,
(424) . 9
(425)
(426) , . +
(427)
(428) ! + !1 . 9 ,
(429) !, 2 - !! K 6, % % % + ! 6 L, %
(430) 6! !
(431)
(432)
(433) 0! 1 & 6!1 % %
(434) ! + !
(435) . %
(436) 9 , F , !
(437) + 0 91 .
(438) 9 2
(439) ! +
(440) 7 0
(441) ! ! !
(442) %, !.! %
(443)
(444) % , 9! ,
(445) !
(446) - 1 . - !, ! !
(447) !+, . 6
(448)
(449)
(450) %
(451) .
(452) ! ! .
(453) .0
(454) !
(455) 1 6! ! ! ! 0
(456) . ! !
(457) . 0 ! , 0 2 !, % ! 9 -
(458) . !.- 1 3 ! + !.
(459) 9
(460)
(461) !1 7 , !
(462)
(463) .
(464)
(465) , % 0 2 !61 !
(466) . !
(467) 9 ! , %
(468) 9 .
(469) .
(470) ;*
(471) . !
(472) + + 9 1 % 9. - !!, !! !.2 1 3 7
(473) -. ! +
(474) . ! 9 K
(475) .,
(476) , 111L
(477) ! ! K
(478) -0,
(479) 6 , 111L1 % !
(480) .
(481) !2
(482) ! , % !
(483)
(484) !
(485) . , . .0+
(486) ! %
(487) 6 ! !, !. - ! .
(488)
(489)
(490) +,
(491) . 0! ! !. 1 6! ! ! ! - ! ! + !.
(492) 0 9 % ! 6
(493) 0 !. ! , !
(494) . 6 , 6
(495)
(496) . 0! !
(497) 1 .
(498) - 6 % ! M !
(499) !
(500) . ! 1 & 2
(501) , ! !
(502) .
(503) 96 ! -
(504) , 6! 0+0
(505) %
(506) 0 % !
(507) + 0 , ! +
(508) 0 9 - . 1 . -
(509) 0 %
(510) , 6!,
(511)
(512) - % !
(513)
(514)
(515) ! % I + + J - %.! 0! ! %!
(516) %.!
(517) ,
(518) 1
(519)
(520) . 06 % . 5,
(521) !. % $5 , ! ! - + ! 9 ,
(522) 0! - !, %. 0 6 !,
(523) - 1 06 + ! - ! -
(524) 6
(525)
(526) - !!, ! .
(527) ! %
(528) ! H0, !
(529) 0!
(530) ! 7 0, ! 0 !
(531) Æ! ! !
(532) . !!1 4+ 06 ! +
(533)
(534) 0
(535) K +L, .
(536)
(537) 7 !
(538) N <8O, ! 9 ! % N) < O !
(539) +!1 06 .
(540) . -
(541) ! ! 0 ,
(542) !
(543) ! ! %,
(544) . ! !+ + ! . . !
(545) " #
(546)
(547)
(548)
(549) $ .
(550) ;8
(551)
(552)
(553) !1 !!+! . +
(554) 06,
(555) 0!
(556) !. %, !
(557) 0
(558) +
(559) 9 N<, )5<;, (<?O 6
(560) ! % + 0
(561) 7
(562)
(563) N <*, <?, ><@O1 ;<< . !.
(564) .
(565) ! !
(566) , . !
(567) !
(568)
(569) . 1 .
(570)
(571) . !
(572) 7
(573)
(574) 0! - ! !.
(575) 9
(576) 0, ! 0
(577) 0 ! Æ
(578) 9 %.+
(579)
(580) 1 .
(581)
(582)
(583) !,
(584) ! ! !. !
(585) 0! ! !51 !
(586) .. !! ,
(587) !. !! ,
(588)
(589) Æ! 0!1 %!% 0 !
(590) 9
(591) ! , !.Æ !
(592)
(593)
(594)
(595) ! + 0 9, ! !
(596) .
(597)
(598) + !
(599) 0 !
(600) 1 6! !
(601)
(602) + ! - ! 0
(603) 9 ,
(604) . !
(605) , ! 0
(606) ! !1 & ! 2 +, !
(607)
(608) !
(609) 0
(610) 7 -
(611) Æ! !
(612)
(613) !
(614)
(615) , ! M! 0 ! 9 2 Æ K !
(616)
(617)
(618) ! .
(619) 0
(620) L1 & !, % .
(621) %
(622) ! ' !%, !! ! + + ,
(623) !.
(624) Æ ,
(625) % 0 2 Æ , %.+
(626)
(627) , 1 . . ! % !
(628) !!
(629)
(630) ! K!
(631) 0!
(632) 6! 0 !!
(633) L1 3
(634) 0
(635) .
(636) ! !
(637)
(638) 7 ,
(639) % .0+
(640)
(641) ! %, % !
(642) .0
(643) !!1
(644) , , 2 . +
(645) 0!
(646) 06 . 1 +
(647) !
(648) 0
(649) .0 , + ! . !
(650) 9 N<?O1 5 + !, 0 0 !
(651) ! ! H0
(652)
(653) 0!
(654) !. !!, 9
(655)
(656) !+1 0 0.
(657) ;
(658) , + !
(659) 0
(660) Æ 1 06
(661)
(662) 9
(663)
(664)
(665)
(666) !
(667) 0!
(668) , %
(669) !.4 ! 1 ! ! 06
(670) .
(671) ! !+
(672) ! H0
(673) . , .
(674) . !, ! ! Æ 1 !!+! + !, 0
(675) 0!
(676) 06
(677) ! % !.!.
(678) !
(679) , ! ! 0 !, %
(680) 9
(681) ! 61
(682) Æ
(683) 0 ! ! !6 ! ! ! Æ.
(684) 1 0 .
(685) . , ! 6 6!
(686) 2 ! N, ;O % !
(687) 1 06
(688) .6
(689) !! 1 D! , ! 0 ! !5,
(690)
(691) ! ! !
(692) , ! ! %! !. 2
(693) !1
(694)
(695) ! !
(696) !
(697)
(698) . B K . > , *L
(699) 7 1 !! . , 5, !
(700) 0!
(701) . + ! % !
(702) .6 !
(703) 7 !! - ! ! + !
(704) Æ 1 !!+! + !,
(705)
(706) , +
(707) !!
(708) !! ! 0
(709) 0!
(710) . ! ! !
(711) + % 1 7 , ! + + - !! K + , &5 111L
(712) %
(713) ! % , %
(714) 0 2
(715) + % 0!! . 1 . -
(716)
(717)
(718) ! !!, . +
(719) % 0 .
(720) 6
(721) 7 %
(722) 0 0 2 0!
(723) 1 06
(724) !
(725)
(726) !!
(727) . !!,
(728) .
(729) 0 5B ! , 0 !1 . !. -
(730) B >
(731) !
(732)
(733) +
(734)
(735) 0!
(736)
(737)
(738) 6 + 6
(739) 7 ! - 0 1 .
(740) !
(741) ! ! % . + ! ! 1
(742) 6 .
(743) ;?
(744) ! ! 06 - ! 0 , % -. % !
(745)
(746) 1 P, 0
(747) - !
(748) , 0
(749) ! !
(750) 01 . ! .
(751) , ! ! + .
(752) !! 1 0!
(753) ,
(754) . +, ! P1
(755) % 0 0!
(756) !
(757) , ! ! - , 0! !
(758) 6 1 9, 2 !
(759) . +
(760) - !!,
(761) 0!
(762) 1 7
(763) +
(764) ,.
(765) ! !
(766) .
(767) 6
(768) ! .
(769) .
(770) ! %1 &
(771) ,
(772) %. ! 1 =! ! + !. ! G -
(773) 6 %. %
(774) 2 ! !G .6
(775) !
(776)
(777) 9 ! + ! 1 D! , !
(778) 7 06 % . , . !
(779) .2 0 !
(780) 0!
(781) !.4 ! , 0 !
(782) ! ! !
(783) !
(784) 0!
(785) .!
(786) 0 , , 0 )
(787) 4!1 .
(788) 9
(789) !.6
(790) , + ! - ! !+
(791) H0
(792) !
(793) ! ! !, !
(794) Æ! % . % ! + !
(795) 1 /! .
(796) ! , ! ,
(797) - !.6 ! % . 1 7 , ! 6 !
(798) ! ,
(799) !
(800)
(801) !, !
(802) 0!
(803)
(804)
(805) !, - % ! ! ! 0 - - , - ! 111
(806) 0 ! !: 0
(807)
(808)
(809)
(810) 0 !
(811) , %.!! Q ! 06 K !
(812)
(813) % ,
(814)
(815)
(816) ! 111L1 !
(817) ! 0 1 .
(818) ;A ;
(819) ! ! 0 %
(820) ! !.!!
(821) . !!
(822)
(823) - !!, ! 1 3 ! ! 0 9
(824)
(825) , % . %.! 0
(826) ! 2F - !!1
(827)
(828) , 0 6
(829) ! !1
(830)
(831) ! -
(832)
(833) !
(834) , . +
(835) ! ! ! !!
(836) ! -!
(837) 1 /!
(838) + -
(839) ! % . + !
(840)
(841) 0!
(842) ! ! ! , %
(843)
(844)
(845) 0!
(846)
(847) , !. !
(848) . , %
(849) .
(850)
(851) 0! 1
(852) , 0+0
(853) ! 0
(854) 0,
(855)
(856) !1 0.
(857) ! P
(858) + % !! ! !1 & ! +
(859) *, ! + ! 2F
(860) ! !6 K
(861) L KÆ L
(862)
(863) !
(864) !1 6! + !.Q !
(865) 0!
(866) ! 0, + !.
(867)
(868)
(869)
(870)
(871) 0! ! + ! H0
(872)
(873)
(874) !1 9,
(875) !
(876)
(877) ,
(878) 0 !.
(879)
(880) !
(881) ! H0
(882) ! ! 0
(883) 9 ,
(884)
(885) 0! .
(886) 01 .
(887) ! 06 % 0
(888) 0! , ,
(889) !
(890) !,
(891)
(892) !
(893) !
(894) !
(895) 1 ! !
(896)
(897) 7 06 % .
(898) 6%! . 1 /! ! !
(899) 6 % . 0 0 ! 6 !
(900) , ! ! !
(901) 0!
(902) . !, 0
(903) .
(904) !
(905)
Documents relatifs
To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed
Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à
Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine
En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages
Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur
A time-varying respiratory elastance model is developed with a negative elastic component (E demand ), to describe the driving pressure generated during a patient initiated
The aim of this study was to assess, in three experimental fields representative of the various topoclimatological zones of Luxembourg, the impact of timing of fungicide
Attention to a relation ontology [...] refocuses security discourses to better reflect and appreciate three forms of interconnection that are not sufficiently attended to