Approfondissement des notions de logique et programmation logique/Référents