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