5. Formalisation et preuves - Network Corporate LMS