frama view 1