Espace dédié à la partie sur la logique des prédicats dans le cours de Fondements de l'informatique.