frama_2007_3.doc (Microsoft Word Document, 636 KB)