$`=-\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}`$
$`=-\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}`$