Calcul des pr├ędicats

Calcul des pr├ędicats