4.5
 

On veut que VPP soit dans ICVPP lorsque Se est dans ICSe1-α et Sp dans ICSp1-α