Logique et mathématiques pour l'informatique et l'IA — Christian Jacquemin