Ou alors correction automatique, pour transformer ^3 en ³ ^^