JPC PLD CS-Negos_NdePo_formalisation1 v5