Dédi + on peut avoir une petite preuve ?