Frama view 2