usr/share/man/man1/frama-c.1.gz usr/share/man/man1/frama-c-gui.1.gz
