https://123dok.net/document/q7wok6nr-raisonner-manipulation-systèmes-agents-approche-fondée-logiques-modales.html