Résume moi le contenu de la page https://ask.agate.blue/archives/Lanaphore-formalisation
11:03pm