sur 15
Logique : fondements et applications — François Schwarzentruber, Sophie Pinchinat, Pierre Le Barbenchon