frama_2007_6.doc (Microsoft Word Document, 719 KB)