Soient $A,B,C=A+B$ trois éléments de l’ensemble ${\mathbb{N}}^{*}$ des entiers > $0$ (resp. $ℂ\left[X\right]$) des polynômes complexes) premiers entre eux ; on note $r\left(ABC\right)$ le produit des facteurs premiers (resp. le nombre des facteurs premiers dans $ℂ\left[X\right]$) du produit $ABC$. La conjecture $\left(abc\right)$ énonce que, pour tout $ϵ\>0$, il existe $C_{ϵ}\>0$ pour lequel l’inégalité : $r\left(ABC\right)\ge C_{ϵ}{S}^{1-ϵ}$ avec $S=$ max$(A,B,C)$) est toujours vérifiée. Le théorème de Mason établit l’inégalité, $D$ (supposé > $0$) désignant le plus grand des degrés des polynômes $A,B,C:r\left(ABC\right)\ge D+1$. Les cas de triplets de polynômes où l’égalité...