Frama view 3