Matthias Goergens a une expression rationnelle de 25 604 caractères (au lieu de 63 993 caractères) pour faire correspondre les nombres divisibles par 7, mais cela inclut beaucoup de choses: parenthèses redondantes, distribution ( xx|xy|yx|yyplutôt que [xy]{2}) et autres, bien que je sois sûr Un...