a few fixes in French and Romance to help with homotopy type theory