Sommaire Programmation Orientée Objet Récursivité Calculabilité et Décidabilité Pratiques de programmation