babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;
babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle