https://123dok.net/document/q7wo8l4v-contributions-théorie-modèles-finis-complexité-descriptive.html