Cours d'informatique sur les notions de complexité, correction et terminaison d'un algorithme.