Add a synthese: Calculability

Voici la synthèse que j'ai écrite pour le cours de calculabilité. Elle est normalement assez complète.

Par contre, je n'ai pas encore adapté le fichier latex aux habitudes du repository concernant la table des matières,...