[nom] Conflit entre une variable libre et une variable liée de même nom. Exemple: `L'établissement d'une telle liaison entre une variable libre dans le corps d'une procédure et une valeur de l'environnement de définition s'appelle une `capture de variable` libre.`