https://123dok.net/document/qvl6lokd-note-ordre-hintikka-véritablement-découvert-véritable-logique-élémentaire.html