Cours d'IA02 :  Résolution de Problèmes et Programmation Logique