https://123dok.net/document/qo5l26e5-examen-partiel-logique-et-calculabilit-e-l.html