frama view 3