iv
Table des matières
5
5.1
5.2
5.2.1
5.2.2
5.2.3
5.2.4
5.3
5.3.1
5.3.2
5.3.3
5.3.4
5.3.5
5.4
5.4.1
5.4.2
5.4.3
5.4.4
5.5
5.5.1
5.5.2
5.5.3
5.5.4
5.5.5
6
6.1
Vérification manuelle de l'état du logiciel
7
8
17
17
17
17
17
19
21
21
22
22
22
24
26
26
26
27
28
29
29
29
29
30
31
32
33
33
34
36