usr/bin
usr/share/doc/frama-c
usr/share/icons/hicolor/scalable/apps/
usr/share/pixmaps/
usr/share/applications/
