sur 18
Logique pour l'informatique — Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury