Protocoles de vérification pour le mécanisme de compactification spirale
MATTHEW CARLO ALLABY (Mon,) a étudié cette question.