sur 22
Logique pour l'informatique et pour l'intelligence artificielle — Ricardo Caferra