Introduction à la calculabilité : Cours et exercices corrigés