frama_2007_5.doc (Microsoft Word Document, 618 KB)