Prise en compte de l'utilisation des notations récursives pour faire une notation alternative de l'application
Prise en compte de l'utilisation des notations récursives pour faire une notation alternative de l'application


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

SamB/coq