[E.1] Programme en tant que donnée, calculabilité, décidabilité

Cours à venir.