$P a ouvert {}