Calcul des prédicats — 4 œuvres