Cliquer le lien Complément vidéo : Décidabilité et indécidabilité pour ouvrir la ressource.