Tout nombre de la forme "mnp mnp" est divisible par 7, 11 et 13