https://123dok.net/document/y961ekjd-logique-modale-notes.html