User blog comment:King2218/Repeat/@comment-1605058-20140316164646/@comment-24509095-20140329135534

''Oui. Je devais dire que ce n'est pas un opérateur pour que je puisse définir des symboles de répétition doubles qui fonctionnent bien... (via'' Google Translate :P) ...and then I defined triple repetition symbols and so on...