correspondance → correspondence
In file src/kernel_services/ast_queries/ast_diff.mli
/ src/kernel_services/ast_queries/ast_diff.ml
, you should change correspondance (French) to correspondence (English).
Not sure of the impact of such a change, which is why I don't suggest a patch.