Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique.