Relation de Pascal sur les coefficients binomiaux.