https://123dok.net/document/q05vggkx-introduction-a-la-th-eorie-de-l-informatique.html