Découvrir une méthode de calcul et de vérification d'un PDP