Cliquer le lien 40_MTDecidabiliteDef_Cours.ppt pour afficher le fichier.