Integration of section on classical B.
section on Event B  and data VnV shall be completed by Systerel
Pdf file not generated due to number of package trouble