Comment annuler `edebug-defun`?

Comment annuler les effets de edebug-defun? En d'autres termes, comment annuler la directive qui fait passer edebugen mode débogage lorsqu'une fonction particulière est invoquée?

Aussi, j'aimerais vraiment savoir où se trouve la réponse à cette question dans la documentation. Je l'ai cherché bien plus longtemps qu'on ne le penserait nécessaire ...

De (info "(elisp) Instrumenting"):

   To remove instrumentation from a definition, simply re-evaluate its
definition in a way that does not instrument.  There are two ways of
evaluating forms that never instrument them: from a file with `load',
and from the minibuffer with `eval-expression' (`M-:').

IOW, le moyen le plus simple est d'utiliser C-M-xsans argument préfixe (ou avec un argument préfixe, si vous l'avez edebug-all-defsdéfini).

En d'autres termes, comment annuler la directive qui fait passer edebug en mode de débogage lorsqu'une fonction particulière est invoquée?

Vous pouvez obtenir cet effet sans supprimer l'instrumentation en définissant edebug-initial-modesur go. De cette façon, vous ne serez arrêté dans edebug que si un point d'arrêt est défini. Depuis Emacs 25.1, vous pouvez le faire rapidement avec edebug-set-initial-mode:C-x C-a C-m g

(info "(elisp) Edebug Execution Modes")

‘g’
     Go: run until the next breakpoint (‘edebug-go-mode’).  *Note
     Breakpoints::.

[...]

When you enter a new Edebug level, the initial execution mode comes
from the value of the variable ‘edebug-initial-mode’ (*note Edebug
Options::).  By default, this specifies step mode.

[...]

Command: edebug-set-initial-mode

This command, bound to C-x C-a C-m, sets edebug-initial-mode. It
prompts you for a key to indicate the mode. You should enter one of
the eight keys listed above, which sets the corresponding mode.