frama_2007_7_8.doc (Microsoft Word Document, 292 KB)