Mission : accélérer le moteur de recherche qui rame sur les textes répétitifs

Contexte

L'équipe d'un éditeur de texte reçoit une plainte : la fonction "rechercher tout" devient perceptiblement lente uniquement sur certains documents très répétitifs (par exemple une longue suite de la lettre "a" suivie d'un motif proche mais pas identique), alors qu'elle est instantanée sur des textes normaux. Le code actuel utilise une recherche naïve caractère par caractère.