La redondance, c'est souvent utile.