La somme de sept entiers consécutifs est toujours divisible par 7