(cid:31) P2 et P3 appartient comme une conséquence.