English equivalentsapplication of a rule ← PREVIOUS ENTRYapplication2NEXT ENTRY →application récursive