https://123dok.net/document/yd783d1y-du-pi-calcul-applique-aux-clauses-de-horn-pour-les-protocoles-qui-utilisent-des-listes.html