Optimisation du choix des niveaux intermédiaires dans une notation complexe Désagglutination du squelette de la notation et de sa précédence
Optimisation du choix des niveaux intermédiaires dans une notation complexe
Désagglutination du squelette de la notation et de sa précédence


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@3196 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq