$`=-\displaystyle\,\int_A^B \alpha\,\big(\underbrace{\overrightarrow{grad}\,\phi_X\cdot\overrightarrow{dl}}_{=\;d\phi}\big\;,\text{ par définition de } \overrightarrow{grad}\,\phi}`$
<br>
$`=-\displaystyle\,\int_A^B \alpha\,\underset{\underset{\big(\overrightarrow{grad}\,\phi_X\cdot\overrightarrow{dl}\big)}{=d\phi}}{par définition de $`\overrightarrow{grad}\,\phi}`$
<br>
$`=-\displaystyle\,\int_A^B \alpha\,\underset{\underset{\big(\overrightarrow{grad}\,\phi_X\cdot\overrightarrow{dl}\big)}{=d\phi}}{par définition de $`\overrightarrow{grad}\,\phi}`$
#### Qu'est-ce que la circulation d'un champ vectoriel le long d'un chemin ?
#### Qu'est-ce que la circulation d'un champ vectoriel le long d'un chemin ?