frama view 2